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.
There were several separate threads that were related to this over the last several days. The first and primary one entitled,
, and the others,
~ William James