private static ExtensionDetails get(Set<ExtensionDetails> set, ExtensionDetails extension) {
		if (set.contains(extension)) {
			return set.stream().filter(e -> e.equals(extension)).findFirst().get();
		}
		return null;
	}
Returns all archive extensions. These are all the extensions found in
{@link ApplicationLayout#getExtensionArchiveDir}.   This are added to an installation as
part of the build processes.
<p>
Archived extensions may be zip files and directories.

@return set of archive extensions
Ghidra/Framework/Generic/src/main/java/ghidra/util/extensions/ExtensionUtils.java