On Tue, Jun 28, 2022 at 9:24 PM Eric Covener <cove...@gmail.com> wrote: > > Ran out of time but I added a crude check to the branch in 1902326.
Argh, I missed your message (which showed up after I sent mine..). Well, two solutions are better than none :)