I don't think they'll hurriedly change this though. It's a nerd joke for nerds, so it's probably able to slip by PR.