Deleting a workspace

Sorry if this is the wrong place to ask, but: how do I delete a workspace?

This is a fine place to ask. Simply remove all users from the workspace, and send us a note. It will be cleaned up in a cleanup cycle.

We don't yet have an end-user feature to delete the workspace.But if you remove all users, you will no longer get notifications, or see the workspace in menus.