A redesigned version of Google Maps, first seen in February, returns