nethack4: unify the two stable blocks
nethack4: remove `require "formula"`