Indeed. These changes were only needed for the mobile version, but they would be very much welcome in the web app version. This version of google maps is superior to the web version in nearly every aspect, it's interesting how innovation often happens in unexpected ways like that.