Document suppression does not work anymore or at least is not displayed as such :
The title of the below document should be crossed out. This might be a regression due to the implementation of the stars in documents.