@jack I agree with the consensus. And your pondering complements my own ruminations, about what to do when you post a great big wall of a post—much, much longer than usual.