You can always add a repository (or more) to a Project and export it.
The workspaces are just in the.fsproject file. Just unzip the .fsproject file and bobs your uncle
True, but that’s another step, when the gui elements are there already, including the checkbox. and individual workspaces can be downloaded this way, so why not an entire repo at once? Makes sense to me.