Peter Eisentraut <peter_e@gmx.net> writes:
> I added the version number (before 7.1, I believe) to alleviate the
> confusion at the time about which docs where the released and which the
> under-development ones. It has the advantage (at least considered in the
> context of why it was originally added) that the version number appears on
> top of each HTML file.
I approve heartily of the version-number-on-every-page bit, at least for
the HTML representation.
regards, tom lane