Get rid of extent from shapefile option?

[j08lue]

Pro: Users can get the same functionality when they load the file into QGIS as a layer and then use "Extent from layer". That also supports all OGR formats, not just shapefiles.

Contra: ??

[j08lue]

Might want to keep the .geojson option, though, since QGIS otherwise only provides extent, not polygon, and since sentinelsat already supports that anyways.