This file seems a copy of ```leaflet.html```. Is it intended?