Official comment
That process would be the same as exporting any other vector shape to a file.
- Go to the Layers Panel on the left side.
- Right-click on the relevant layer.
- Click on Save as…
- Select Esri Shapefile.
- Choose a name and a location.
- Click on OK.