The text 75713e56f10a, as Debian 9 (Stretch) shipped it.
mandoc special characters
mandoc_char(7) on Linux now
