Documents marked for deletion keep their lock

Documents that are deleted -that are moved to the "To be deleted" folder- keep a lock on their name. This means that it is not possible to create a new document with the same name. The same is true for folders and projects.