Andrew Dunstan <andrew@dunslane.net> writes:
> If the file is completely machine-maintained, including the comments, it
> seems eminently doable. It's only if the file gets mangled by humans
> that there's a problem.
Yeah. We could have comments that were injected by some sort of COMMENT
ON command, stored in the file in some suitably strict format,
and then maintained mechanically. What we don't want to do is promise
that hand editing of the file can coexist with machine updates.
regards, tom lane