usermanual: proofreading thanks to Mark Garrow
usermanual: minor update to usermanual.lua
usermanual: make DOCTYPE match content of file