Performance improvements; update Leaflet.js to 0.7.3