Bruce Momjian <bruce@momjian.us> writes:
> Is this format so old that we can't fix this?
Yes. I don't see any reason to change it, either, as nobody has
complained that it's actually bad. If you feel a compulsion to
change the docs, do that.
regards, tom lane