GeoJSON export is a work in progress, but at this moment I consider it an "official" data format. Implementing different formats is time-consuming and not too... fulfilling.
You can define the number of gates you need in the non-itch version of the generator with the URL parameter "gates" like this: