On Mon, Jan 29, 2024, at 6:00 PM, Karl Berry wrote: > But, looking at that code, I belatedly see that shell arrays are being > used. At least I think so.
It is absolutely not *supposed* to be using shell arrays. If it is, that was a mistake on my part. zw