2017-01-24 08:34:12+00:00 How come issue numbers in the titles of GitHub pull requests don't get linkified?