error diagnostics about a removed or renamed file are not cleaned up, and can't be removed manually #671
Description
What the subject says. I renamed a Rascal module but the error about the fact that its module name did not align with its filename remains in the Problems View.