Robert,
> Of course we have no notion of exporting or importing names at all.
> Maybe we should. But I'm still of the opinion that this entire
> discussion is a tangent.
As far as Extensions are concerned? Yes, it is.
Dimitri: I vote for you to get on with assuming everything goes into
pg_extensions. We can always change that later if there's any kind of
consensus.
--
Josh Berkus
PostgreSQL Experts Inc.
www.pgexperts.com