Merge /scopename/ and /scopename/workspaces/
The two views are basically the same. After #624 (closed), /scopename/workspaces
can go away and be merged into /scopename/
The two views are basically the same. After #624 (closed), /scopename/workspaces
can go away and be merged into /scopename/