Hi, Quill.
Yes, I know that actually changing the name is not an option.
A brand is a brand and this one has been widely adopted.
That being said, some products have been re-branded (Instagram, formerly known as Burbn; Dunkin', formerly Dunkin' Donuts; LG, Lucky and GoldStar; 7Eleven, formerly known as Tote'm, Google, formerly known as BackRub). Who knows, maybe in the name of political correctness and harmonious language that promotes acceptance rather than conflict we get this one to make some adjustment. :)