An extension of GeoJSON that encodes topology | Hacker News Reader