Thomas Lockhart <lockhart@alumni.caltech.edu> writes:
> Shall we revisit this for 7.1, well before release time?
Yes. This is no time to be thinking about changing stuff.
PS docs are what we know we can make without problems.
I think PDF would be a good second alternative, though.
Perhaps after release, we could make up a second batch
of hardcopy docs in PDF form and make those available as
a separate download.
regards, tom lane