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.