usermanual: fix a bunch of xml bugs