use easier-to-type bugtracker URL in some manpages