How do I completely delete an extension?

Extensions
5

This behavior is expected, but could be changed sometime in the future. For now, I would recommend using a different name when creating an Extension.