This file has been superceded by manual.html.
