Added HTML version of manual.