It would be nice to be able to export GDSII file directly from the UI. Currently it seems that only STL and JSON are supported.