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