Workspace management

Would be nice to have a place where workspaces can be managed:

• listing workspaces (with their local repository paths)

• editing their settings

• deleting them

• renaming them

Currently: you need to switch to every one of them to alter the workspaces