I guess the post needed a sarc tag.
Based on #53, I guess so. I did not pick up on it.
My mistake—sorry.