static String getCompressedFilename(SymbolFileInfo symbolFileInfo) {
		return FilenameUtils.getBaseName(symbolFileInfo.getName()) + "." +
			makeCompressedExtension(FilenameUtils.getExtension(symbolFileInfo.getName()));
	}
Common functionality of File and Http symbol servers.
Ghidra/Features/PDB/src/main/java/pdb/symbolserver/AbstractSymbolServer.java