Reduce use of mailto: in html versions of manuals