Make ASN1 manuals conform with man-pages(7)