Delete workspace

Deletes a selected local workspace with an explicit remote-deletion choice.

This entry documents the installed built-in behavior and does not advertise third-party extension capabilities.