Re: (ITS#8941) Font correction in man pages