[PATCH 6/9] batctl: man: Switch to manpage font convention