[add-sub-mul-div]

I had to quit both Reddit and Twitter after their respective API changes that disallowed the clients I was using. There are very good nonpartisan reasons to get off these platforms.