public boolean markForUninstall() {

		if (installDir == null) {
			return false; // already marked as uninstalled
		}

		Msg.trace(this, "Marking extension for uninstall '" + installDir + "'");

		boolean success = true;
		File manifest = new File(installDir, ModuleUtilities.MANIFEST_FILE_NAME);
		if (manifest.exists()) {
			File newFile = new File(installDir, ModuleUtilities.MANIFEST_FILE_NAME_UNINSTALLED);
			if (!manifest.renameTo(newFile)) {
				Msg.trace(this, "Unable to rename module manifest file: " + manifest);
				success = false;
			}
		}
		else {
			Msg.trace(this, "No manifest file found for extension '" + name + "'");
		}

		File properties = new File(installDir, ExtensionUtils.PROPERTIES_FILE_NAME);
		if (properties.exists()) {
			File newFile = new File(installDir, ExtensionUtils.PROPERTIES_FILE_NAME_UNINSTALLED);
			if (!properties.renameTo(newFile)) {
				Msg.trace(this, "Unable to rename properties file: " + properties);
				success = false;
			}
		}
		else {
			Msg.trace(this, "No properties file found for extension '" + name + "'");
		}

		return success;
	}
Converts the module manifest and extension properties file that are in an installed state to 
an uninstalled state.

Specifically, the following will be renamed:
<UL>
<LI>Module.manifest to Module.manifest.uninstalled</LI>
<LI>extension.properties = extension.properties.uninstalled</LI>
</UL>

@return false if any renames fail
Ghidra/Framework/Generic/src/main/java/ghidra/util/extensions/ExtensionDetails.java