Allow DocumentManager to clear documents by name (fixes #408)