ports/games/hyperrogue
