Nope, not sarcasm. I couldn&#x27;t figure out what to call it. Then you reminded me. Thanks. Really. :-)<p>EDIT. We need a standard symbol for &quot;I&#x27;m not being sarcastic&quot;. (Of course, then people may start using it sarcastically.)