john doe Tue, 01 Aug 2023 11:54:32 -0700
On 8/1/23 00:34, D.J.J. Ring, Jr. wrote: Again, please refrain from polluting the list with OT stuff.
-- John Doe