Accidentally deleting a file can be a pain — we obviously don’t mean to do this but it happens all the time. And, it always seems to happen with files that we really need rather than those we don’t care about losing.