Search results

Yes, this solved the problem. It did take two, consecutive reboots as the first one still produced the file in the trash. But it worked- thanks!