Fix up the manpage to work around a couple asciidoctor/github mishandlings

The software used on GitHub's side does not support AsciiDoc fully enough to render this properly, but the fixes to work around this should not be too much of a hassle.