Found. Redirecting to /en/codespaces/developing-in-a-codespace/deleting-a-codespace