Thank you mailman, for I had forgotten I’m subscribed to a gazillion mailing lists since you told me last month.