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