Reminds me of the time that Disney had to send round a memo ordering their staff to stop referring to the studio as ‘Mauschwitz’ on social media. The staff complied, changing the name to ‘Duckau’.