Update on DNS

mud.org is back in business, but now there's some new problem with lambda.moo.mud.org. I've emailed wrog. Hopefully he'll get it and be able to deal with the problem soon.