on mobile, map reloads every time user flips between map and the other mobile tabs

[wbazant]

When user opens e.g. a settings tab and then goes back, the map is re-loaded, leading to unnecessary bandwidth use and slowness.