Ask HN: How in the year 2017 does Google Maps only have three voice levels?