multiple to-do

leaderboard rounding / decimalization
….
allow entry of minutes 7, 8, 9 without "0"