Use GitHub link shortener for comment link

This makes the link a bit easier to copy/paste, but more importantly
reduces the line width to a more manageable size.