Yes and no. It was a permanent delete, no visible GUI with deleted files. But there was an actual UNDELETE command that could be used to recover files (or not)

Shredder https://files.catbox.moe/ciheyq.png

Undelete https://files.catbox.moe/ny7xbs.png

Thank you for the explaination. Yeah, that make sense. Never tried to get back stuff from shredder but that must be challenging.