On the way out, Dropbox blocked me from deleting 'tex.web' on my local machine, because it thought it owned anything with a '.web' extension.
On the way out, Dropbox blocked me from deleting 'tex.web' on my local machine, because it thought it owned anything with a '.web' extension.