All of those mean the same thing, though.

Also, for added pedantry, it’s “pedantry” 😉 (I wish the troll face was a standard emoji as it would fit better, but you get I’m just playin’ I hope 😅)