private static void reportMultipleDuplicateExtensionsWhenInstalling(ExtensionDetails extension,
			List<ExtensionDetails> matches) {

		StringBuilder buffy = new StringBuilder();
		buffy.append("Found multiple duplicate extensions while trying to install '")
				.append(extension.getName())
				.append("'\n");
		for (ExtensionDetails otherExtension : matches) {
			buffy.append("Duplicate: " + otherExtension.getInstallPath()).append('\n');
		}
		buffy.append("Please close Ghidra and manually remove from these extensions from the " +
			"filesystem.");

		Msg.showInfo(ExtensionInstaller.class, null, "Duplicate Extensions Found",
			buffy.toString());
	}
Compares the given extension version to the current Ghidra version.  If they are different,
then the user will be prompted to confirm the installation.   This method will return true
if the versions match or the user has chosen to install anyway.

@param extension the extension
@return true if the versions match or the user has chosen to install anyway
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/extensions/ExtensionInstaller.java