upgrade to md2man 3.0 for improved HTML manuals