Nicolas,

Thanks for the idea.  It turns out I also got a suggestion on the J General list, and that one worked.  See http://jsoftware.com/pipermail/general/2017-December/037375.html.

Bill