it would be nice to be able to delete a document via the GUI, by right clicking on a document and in the context menu adding an option to the delete it.