Could we please add the feature to delete documentation instead of just archiving. Archiving is messy and sometimes a documentation is created by accident, and we would like to be able to delete it.