Updated 30 Jun 2023: My foray onto MailChimp did not work out well. So I have moved the daily bulletin to Google Groups. Hopefully this can be stable going forward. Sorry about this fuss.