chiark / gitweb /
Stop animations on a new game, no matter how it is started.