Grotty outputs double-formatted characters for some (old) manual pages. This fix ignores the second part of the double-formatting, thus making things readable again.