These are the same manuals we distribute with postgres95-1.01.tar.gz.
