The useless, giant electron ticked me off. That was soon followed by a price increase. So I dropped them.

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.