But lots of people are mistaken that it is,

None of whom are in this thread.

A pedantic person wouldn't bring it up in this case because it's literally not relevant to what they were talking about, the working agreement.

Pedantic people only argue points they're right about, and as pointed out in this case they wouldn't be.

Dunno how this could be any clearer.

Like I said, nothing you've said has necessitated anything other than quoting myself, or even been worth debating (which isn't the same as saying I haven't debated it, since you're disappointing at pedantry.)

But go ahead, make another stroke joke. Despite your big talk of "debate skills", that (and typical Reddit dismissals like "That's cute" and "Bless your heart") seem to be your go-tos.