Auto-linking of github user names apparently doesn't work in the 'github flavored markdown' :(