I just had to delete two comments because they were simply ad hominem attacks against other commenters. I don’t have to do that often, which I very much appreciate, but this is a reminder to all of you to behave. We hold each other to a higher standard of discourse here.
Review the policy if you need to.