I wrote:> I did some other minor hacking (mostly, fixing the documentation)> and pushed it.
BTW, I hadn't thought to measure before, but this patch cut thesize of pg_type.dat by almost 40%. Nice!
regards, tom lane