nethack.alt.orgの名前を変更します。