Grimes and Elon Musk have changed their baby’s name to comply with California law.