The normal NIMHmuck server is back up, now that the repairs to the server have been finished. If you, for any reason, need to access the old muck, you can still do so temporarily at muck.nimhmuck.org port 3737. Thanks for your patience!