In F15 beta the workspace name "Workspace #" is displayed in the workspace icons. Is this as designed or will it be changed to pre F15 behaviour? -- Erik