Comment by add-sub-mul-div

I honestly don't know what to think of this time. On one hand it's sad in principle to see Reddit and Twitter lock down to the point they have.

But on the other hand they'd both already become cesspools by that time, and I was still visiting them daily. And now I've quit them both which is a good thing.