static String makeCompressedExtension(String fileTypeExtension) {
		return (!fileTypeExtension.isEmpty()
				? fileTypeExtension.substring(0, fileTypeExtension.length() - 1)
				: "") +
			"_";
	}
Common functionality of File and Http symbol servers.
Ghidra/Features/PDB/src/main/java/pdb/symbolserver/AbstractSymbolServer.java