www.nethack.org　と
nethack.org　って
どっちも同じ内容なんだけど、どっちかがミラーサイトなの？