Note: groups.io will be down for maintenance on Wednesday, October 5th, starting at 9AM Pacific Time (4PM Wednesday October 5, 2022 UTC), for approximately one hour.
Hi, I'd just like to say that i'm very happy to be a member of both
groups, and i think you are all a very fine bunch of people! I will
continue to benefit, and learn from all of you. Mark