How to remove extension in development?

Extensions
3

Also note that deleting an extension will not release the name for reuse