nytimes.com/puzzles/leader… Join The Mini leaderboard created by Lagedor to keep track of each other’s solve times. Game on!