innerHTML is ok since it's from leaflet, not the browser!
showIntro now populates the header