• NetHack-3.7
• (#1122)