more robust install/uninstall;
clarified extension_name (again): --locate-extension wants to see a lowercase name;