GeoJSON-P from GitHub (minor tidying)