EDITING: Remove "Miscellaneous" from workspace.

Fixes #423