I'd written a zsh script for querying https://www.jsoftware.com/cgi-bin/forumsearch.cgi I could send it, if you'd like.
May 13, 2023, 18:24 by earthspo...@gmail.com: > Okay, found what I was thinking of by searching for my own name in > Pipermail from the beginning. > BTW - what's the best way of searching Pipermail? > > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
