August 2, 2023 Elon Musk can change what he calls Twitter — but can he change what everyone else calls it?