On Tue, 6 Jun 2017, Joseph Tam wrote: > Bots aren't known to exit cleanly, so it's probably related to prematurely > dropped connections. Apart from that, I'm not seeing this with real > users. Never mind: getting mail in digest form has made me look stupid again. Joseph Tam <jtam.home at gmail.com>