There are a lot of manuals for older software which are readily available only as PDF scans. It is my intention to re-typeset these manuals and to make their contents easier to search through.