Naam veranderen van workspace

Misschien is het handig om een optie in te bouwen dat je de naam van een workspace kan aanpassen? Nu is het zo dat als je een foute naam hebt neergezet en daarachter komt dat je de hele workspace moet verwijderen om vervolgens een nieuwe aan te maken met de juiste naam (ook kun je nog niet libraries kopiëren wat voor extra werk zorgt als je wel een aantal dezelfde nummers speelt; makkelijke oplossing —> naam veranderen en library behouden)