Currently, only proprietary users can delete documents posted by others. It would be very useful if administrators (ADM) also had the ability to delete any document regardless of who posted it. This would facilitate document management, especially in cases where documents are saved in the wrong folders or need to be updated regularly.