Simply deleting the project's directory doesn't work.  I am left with and
index.html that contains all deleted projects and a MUD that also still
contains deleted projects.  What to do?