User's Manual

2.2.7 Recycle Bin
When you delete a file, it is moved to the Recycle Bin. Files
can be restored from the Recycle Bin.
Emptying the Recycle Bin deletes files permanently.