Following the Gulf’s name change in Google Maps last week, Developer Bryce Bostwick created the Restore the Gulf of Mexico extension to revert it back, which he says in a YouTube video is “the world’s ...