First useful public release of www.nethack.org.