On Mon, Sep 8, 2025 at 12:23 PM David G. Johnston
<david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
> Also seems like the extension location should be part of the output too.
>
I've posted a patch for this at [1]
[1] https://www.postgresql.org/message-id/DCTSKQAVOXIG.3A05JM1YORARK%40gmail.com
--
Matheus Alcantara