"an old friend" wrote

.. and understanding of sarcasm.

sarcasm as a humor of humor would beed to be funny in some way

Mark,

Sarcasm has nothing whatsoever to do with humor. Nothing. Sarcasm is mockery
or ridicule.

73, de Hans, K0HB