Search function at the top of the forum, "delete tor", first page of results: http://dkn255hz262ypmii.onion/index.php?topic=72700 The short story is that there no safe way to remove individual files from journaled filesystems. It's possible the files were written to multiple places on the disk and a good forensics program could search the free space and find them. The only safe way is a full disk wipe with something like DBAN, but you would have to backup all important data and reinstall the OS.