I noticed that run times do not include milliseconds but only seconds, for runs as short as this and the fact that people are going to have very close runs, I feel that having milliseconds on the run time is a must.

Leaderboards for at least 2 players. Where multiple people play together to finish as fast as possible.