minor fix to re introduce pause issue that was accidentally fixed.
Also am currently looking at best way to reset leaderboards without upsetting everyone.. maybe keeping the old leaderboard times but allowing some way to filter them out or something.
However I need time to think about this, and also gather views of players.