usermanual: make xmllint happy