Linkify name and github login on manage users page
Add support for page titles
Add titles to relevant pages
Make leaderboard show ties more equitably
Add avatar to profile page
Change admin icon to a jet