(version 1.5)
It is quite easy to delete a workspace. Please do not do so unless you are sure you do not want it, as it cannot be recovered automatically. If you delete a workspace and decide later that you need it, you will have to build it again as you did the first time. PLEASE BE SURE YOU WANT TO DELETE A WORKSPACE BEFORE YOU DO SO. THERE IS NO WAY BACK.
Open the list of your workspaces. See Chapter IV-1, List Your Workspaces if you need help with this step.
Click "delete" on the row of the workspace to be deleted. The Delete Workspace panel opens.
Click the "Delete Workspace" button to delete the workspace. Click the "Cancel" button to leave the panel without deleting the workspace.
The workspace is deleted and you are returned to the list of workspaces. The deleted workspace is no longer shown in the list of workspaces.