History of Services/Nethack 2023 July 30 — 18:37 0d8b384 Edit ‘services/nethack’: skull'd by aimless 2021 August 15 — 05:08 d8fd8fa Create ‘services/nethack’ by j3s