Two days later, I come back to find this downvoted a lot, even though I meant it literally. I've been a Wikipedia editor for some 10+ years, only a few of us use bots, we're not generally very sophisticated, so the assumptions amused me.
Ah. I think the wording plus the existing downvote when I read your reply made me not even consider it might be literal and not at all snarky.. I'd like to blame my British sarcasm-as-a-first-language upbringing, but really that one's on me.
For what it's worth I've popped an upvote on your comment and will go out of my way to double check snark is actually snark before replying to things in future.