@prologic@twtxt.net How is the AoC leaderboard ordered, by completion time? I see 3 of us have all the coins, but different points.