usermanual: proofreading new stuff thanks to David Vincent-Jones