Added a decimal point
Added leaderboard.html
Added leaderboard.html, some documentation to file headers