Cleaned up some baroque code for rendering leaderboard as html