Mogelijkheid om werkruimtes te hernoemen

We hebben het makkelijker gemaakt om werkruimtes te hernoemen. Er is nu een speciale pagina voor werkruimte-instellingen.