I'm in the process of deleting a lot of old stuff from my drive and using Treesize to see what the large files are. I have emptied the recycle bin and rebooted, but Treesize is finding 13 GB of files in the $Recycle.bin folder. Why are they there, and can they be deleted?