usermanual: a first small step to make xmllint happy