It's not pedantic. That one character has a huge influence over how many people will see the tweet. This wasn't some minor style screwup that only nerds will even care about, it was a technical screwup that strongly affected the distribution of the message.