You are not missing something. There currently is no way for developers to delete a specific version of an Extension. There is the ability to delete an Extension.
You are not missing something. There currently is no way for developers to delete a specific version of an Extension. There is the ability to delete an Extension.