public String getDemanglerName() {
		return isDeprecated ? GNU_DEMANGLER_V2_24 : GNU_DEMANGLER_V2_41;
	}
Returns the external demangler executable name to be used for demangling.  The
default value is {@link #GNU_DEMANGLER_DEFAULT}.
@return the name
Ghidra/Features/GnuDemangler/src/main/java/ghidra/app/util/demangler/gnu/GnuDemanglerOptions.java