Hi Matthew and all,
Oops. Please delete if possible!
I deleted it (the content of the message), but it's a time-consuming
pain to do this. Let me take this chance to remind everyone to check
whether what they're sending is intentionally going to the list.
Nice to see the recent GG activity and links. Happy birthday +1 to GG!
Karl