Finished HTML documentation and fixed a command option reported as default when it was not.
Authored by: edtrager 2009-03-18
Parent: [r9]
Child: [r11]