Vinicius Callegari writes: [...]

Tim, watch out, your date is in the past. You messages might not be read...

Thanks for the warning. The messages were indeed sent in the past, and took an unusually long time to be delivered! Apparently a few messages got queued somewhere by my MTA (perhaps because of a temporary configuration error), and were not sent until today... Coincidentally I am upgrading my Debian installation - presumably this caused the queued mail to get flushed. Sorry about any confusion caused. Tim