Elon Musk changes Twitter name and logo to 𝕏. How many hours of work does this cause developers, designers, marketing people? I mean, Twitter was practically on every website, in many publications and other places.