AsciiDoc backend for generating man pages for OS Inferno and Plan9