Workspaces for overturetool » issue782 #1