Replacing utf-8 characters with groff glyph names listed in the man page
of groff_char. This way the man page will look good with all encodings.
Authored by: henca 2015-10-03
Parent: [r116]
Child: [r118]
