Re #9357. Mark Managed Workspace design document as obsolete.

Also updated ADD to state that managed workspaces have been
removed.