Le impostazioni del workspace

Come modifichi un workspace: il nome, le istruzioni personalizzate, chi può accedervi e come eliminarlo.