At the moment GeoJSON is drawn in the projection of the map, but the standard says that lines should be drawn as Great Circle or Rhumb Line, where Great Circle is the default. This would require a recalculation of all lines when GeoJSON is generated.