Now hot-linking (presumably by permission) the GitHub ribbon; also added link to Leaflet in sandbox