See #10.
Sigh...
It’s unfortunate, but you almost always have to use a sarc tag to shield yourself from the knee-jerk posting crowd these days...
Sorry