Google Maps renamed Lake Ontario + Gulf of Mexico, so I built a one-click undo

A Chrome extension that shows the original names on Google Maps: Gulf of Mexico and Lake Ontario, back where they were.