Remove a workspace cleanly
Removing a workspace leaves its folder on disk and asks once: archive its agents or delete them. The sidebar menu lost three rows it did not need.
One question, three buttons
Remove workspace now asks whether to archive the workspace's agents or delete them, with Cancel beside both. Delete is in red. Either way the folder stays where it is on disk.
Archived agents leave the sidebar but are kept. Open the folder again and the workspace comes back with them.
A shorter menu
Rename lives in the workspace profile, so it left the menu, along with the removed and hidden workspace rows and the Hidden label.