post from @phil on 2017-04-21 18:56:18 -0700
Dear @reednj, please make the bots stop.