HyperRogue: HyperRogue 13.1

This is not really a big update that adds a new land or a major new way to play the game, but more of an "we need to change the minor version number so we won't have to do 13.0ż". There was more work on new games using…