If <manvolnum> contains any spaces, they should
simply be discarded.
Logged In: YES
Actually, this is only necessary when writing the filename, and
the stylesheets already replace spaces in the filename with
underscores, including in the extension (which is the section
what we need to do instead is to put quotes around the
section in the .TH title line.