Barring objections, I'd like to reindent HEAD with the new versionof pg_bsd_indent (and correspondingly updated pgindent script)tomorrow, say around 1800 UTC.
regards, tom lane