Dave won the lottery and left you his server.
Nothing is documented.
story & how to play · leaderboard
sign in with GitHub — same box on every device, and the leaderboard
Playing records your session (commands and timings) under a random ID, for a public breakdown when the game closes. What we record