The XSLT stylesheets and db2x_manxml appear to take different approaches to escaping inappropriate characters in the the man page file names, which can lead to odd results in some cases. The XSLT stylesheet escapes both space and slash and writes that into the attribute of the "manxml" output. db2x_manxml then takes that title and escapes only the slash, making an elaborate...
