amul sul <sulamul@gmail.com> writes:
> Thanks for your explanation, I agree that this is not a single scenario
> where we need special care, but still my question stands there, why do we
> really need to dump built-in extension?
It's not built-in. It's installed by default, yes, but it's also
droppable.
regards, tom lane