Cool! They're back again. While we're on the subject, there's just one more thing: the batched mail seems to have the postings sorted in (to my eye) a fairly random order. They used be sorted by date of posting (with oldest at the top of the mail). It would be great if they could be sorted that way again - it made reading the digest mail much easier.
Thanks for the efficiency!