Fix a link that org-mode likes but github doesn't.