support various other formats for Asterisk manual page (bug #4113)