Wish: Download results as GeoJSON

[tuukka]

Could GeoJSON be available directly from QLever instead of only via qlever-petrimaps? Now, it's an extra step and a bit hidden.

Also, the GeoJSON export could be closer to the CSV export, e.g. no question marks in the property names and no angle brackets in the URL values.

[hannahbast]

@tuukka Thank you for the suggestion + good idea. When exactly should the result be exportable as GeoJSON?

[tuukka]

I suppose "when the results have geometries". The current condition for the map button seems to be /wktLiteral/.test(result.res[0][columns.length - 1].

I wonder if there should be a warning when you choose to view the map or export the GeoJSON but there are result rows that do not contain valid WKT data. As the data isn't necessarily loaded in the UI, could it be the responsibility of the map / the export endpoint to return the warning?