In a blog post  John 'JB' Brock writes : "... JDeveloper does not officially support the uninstall of extensions ..."
What does that really mean?
Taking some other information of the blog post  into account, please consider the JDeveloper 11g R2 extension "ToUninstallExtension01-install.zip" in the ZIP file
When installed in JDeveloper 18.104.22.168.0 it allows use the menu option "print ToUninstallExtension message" in the Tools menu.
Trying to uninstall this extension by deleting the file
and restarting JDeveloper, still allows to find the extension in the About dialog on the Extensions tab, and its menu option "print ToUninstallExtension message" seems to keep working.
After starting JDeveloper with "jdeveloper.exe -clean", the extension can no longer be found in the About dialog on the Extensions tab, and seems to be "properly" uninstalled.
What else is there to know about uninstalling a JDeveloper extension?
Does Oracle documentation exist about properly uninstalling a JDeveloper extension (or about it being "not officially supported")?
Would it make sense to have an Oracle enhancement request for proper documentation on uninstalling a JDeveloper extension?
Would it make sense to have an Oracle enhancement request for JDeveloper features that allow to uninstall a JDeveloper extension from within JDeveloper?