Manpage: Fix formatting (mostly for PDF output)