I was clearing out Dropbox when I moved away from it, and it _wouldn't_ let me delete my copy of `tex.web`, because it thought it was some sort of special dropbox file. (It was the source to TeX.)
It's been a few years, but I think I managed to delete it in the web UI. (This was on macos, and they had a kernel extension keeping an eye on things by that point.)
