Thanks for your note and your contributions here, and sorry for quoting your
text in my comment -- I meant to delete it and forgot before I clicked send, in
that I didn't mean to target your comments in particular. You're obviously
more precise than most, and I've found your comments very thoughtful.
--John