Update HTML user manual to match README.md