Earlier quoted context omitted.
The page you linked to lists both ’ and ', in that order . There’s no point in being (wrongly) pedantic about either, both have strengths and weaknesses (explained in the Wikipedia pages). The point is that if someone cares to use proper typographic characters not immediately visible in the keyboard (which the person I replied to seems to), they probably care to use the right ones. Both ’ and ' are correct, but ‘ is…
It’s interesting that you say there’s no point in being pedantic but this entire boring subthread started because you were pedantic about punctuation. A character really doesn’t matter.
Just because you don’t care about something doesn’t make it worthless or boring. If I didn’t think the OP cared I wouldn’t have pointed it out. Above all my point was constructive and took the other person’s interests into account, it was not a pedantic critique.
If you find the matter boring, I encourage you to move along. Prolonging it seems counterproductive.