The following manuals are available online as html: