re: #165 b_sharp

I did.

Personally attacking another lizard used to be frowned on and the changes in that are in part why I spend more time on Twitter than here.

It’s tempting to snark about how Twitter is well known for its civil discourse, but that’d be silly.