Although it is difficult to find a agreement for this, I suggest to add a menu entry "Playground" and reuse the entry "Workspace" for the old workspace.
Soon we will have a new Pharo release. And I am afraid there will be some complaining like this: (Only on Workspace menu item that opens GTPlayground) -> "Hey where is my workspace?" But instead I would like a Workspace menu item opens Workspace / Playground opens GTPlayground: and the feedback: -> "Hey, GTPlayground is so cool" what do you think? nicolai
