private Set<ExtensionDetails> getExtensions() {
		Set<ExtensionDetails> installedExtensions = ExtensionUtils.getActiveInstalledExtensions();
		return installedExtensions.stream()
				.filter(e -> !e.isInstalledInInstallationFolder())
				.collect(Collectors.toSet());
	}
A class to manage saving and restoring of known extension used by this tool.
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/ExtensionManager.java