Player name links

Player names now always rendered as links to the appropriate player's page.