If a collection is deleted, the SysSymbols still contains references to the collection.
morten svanæs [morten@web-som-virker.no] reports that old documents are not being removed either upon Collection.remove()
In current CVS old documents and collection directory are removed. But SysSymbols still contains references to the collection.
I'm working on it
Fixed in CVS