I mentioned this myself -- I deleted the comment when I noticed your prior comment. Tim was nice enough to reply to my email query some years ago and point me

I mentioned this myself -- I deleted the comment when I noticed your prior comment. Tim was nice enough to reply to my email query some years ago and point me to this (already written). It's not comprehensive, but it was helpful. I guess I'm mostly adding this comment to attest to the generosity inherent in the sharing of such information. Aka, "thanks".