Thanks! Adding lap records is a great idea, I would definitely take it into account for the next version. Also, I would like to improve the entire leaderboard, maybe showing more than just the first 10 places and, most importantly, storing the player inputs for each record. As it is now, I have no idea how some of the records were made and I would very much like to see. However, those improvements require changing the leaderboard storage system entirely so I don’t know when I’ll be able to make them.
As for the user names I understand it could be problematic to let people choose whichever names they want but I don’t expect many problems for a small game like this. Also, I don’t know how to grab their itch.io user name (and what happens if they aren’t logged in?).