GeoJSON-P from GitHub (minor edits)