Elon Musk can change what he calls Twitter — but can he change what everyone else calls it?