@johnquiggin @cstross I probably hit delete rather than post a few times a week, on average. Sometimes it's just not worth the energy.