I thought GitHub would linkify @mentions of usernames. Guess not.