No HTML documentation

The User Guide is available in pdf format.