fix up contrib/checkOptionDocs.pl to match current practice (asciidoc manpage, no...