Oddbean new post about | logout
 when game ends ?