“We’ve received a few questions about naming within Google Maps. We have a longstanding practice of applying name changes when they have been updated in official government sources,” the company said in an X post.