User blog comment:DrTeatime/British Punctuation/@comment-6301921-20160626040545

Yeah, we voted on this a while ago and changed the manual of style (which originally called for American punctuation), but like you said, no one really went back and changed the old articles. So, if everyone's still for British punctuation and wants to go back and change the older articles, I don't think there would be a problem.