upgrade to md2man 3.0 for improved HTML manuals
Merge branch 'other'