@thomasfuchs Yeah, I'm aware of the issue (but thanks for the handy link!) it just always makes me chuckle when abbreviating makes things longer, the most famous example being "www" naturally having more syllables than "world wide web", which prompted the "dub dub dub" pronunciation.