June 2, 2023
11:45 p.m.
On Sat, 3 Jun 2023 at 09:42, David Mertz, Ph.D. <david.mertz@gmail.com> wrote:
Yeah... oops. Obviously I typed the version in email. Should have done it in the shell. But you got the intention of set-ifying the characters in the large string.
Yep. I thought of that as I was originally writing, but absent benchmarking data, I prefer the simplest way of writing something. ChrisA