I'd argue the official name de facto doesn't matter when there's been 5+ names for it in the last decade and nobody can keep track of it. Vast majority use it

I'd argue the official name de facto doesn't matter when there's been 5+ names for it in the last decade and nobody can keep track of it. Vast majority use it via their phones or in-browser GMail, I suspect. (On topic: I use it with pidgin still though for the one-on-one chats with a few people!)