>>Well, if we add them (and they would be very useful I reckon) should we >>ensure there's an obvious PG naming thing happening?
Why are they useful???? If you want PG specific stuff then use the PG specific catalogs!!!
Chris