... it's that time of year when I must spend more attention on childcare, a
time when entire email-list conversations breeze on by without my notice, so
let me just say, while I'm thinking about it:
Happy Holidays, whatever you celebrate! Hope everyone stays safe and well, and
best wishes to you all for the coming year!
Cheers,
Dave