As happens all the time, a page to which I had linked went away. Many links do that, and I discovered that this link went away, but haven't yet found a replacement for it. Let me know if you have one for me.