I'm on a mailing list for a newsgroup, so I receive a digest of new postings a couple of times a day. I was skimming through the new messages in my Gmail