I was tempted to remove that line after I finished the whole post. Since it made someone happy, I'm very glad I left it in!