Fixing a quirk of man2html (on my system) that pulls punctuation into URLs,