m/2013-05-15.md: review some mailing list messages