No joy. I opened the pool and for the first time saw the remove missing files command enabled. So I tried it but nothing changed.
So, I guess the important question is this: how does one safely delete a project? Clearly just zapping the directory is bad news because you end up with the missing file dialog. So how do you do it? There does not seem to be a “delete project” command that I’ve been able to find. Thanks for any enlightenment.