HyperRogue: HyperRogue 13.0

Again, it was quite a long time since the last major update (12.0, from 2021). Of course, the work never stopped -- improvements were continuously added to the game, so if you were following HyperRogue closely, you have…