Correct links to github user pages.

I had thought @foo would link to the user’s page, Twitter-style, but apparently not.