public void setAllowDemotePrimaryMangledSymbols(boolean enable) {
		this.allowDemotePrimaryMangledSymbols = enable;
	}
Enable/disable the option to allow another symbol be set to primary when the existing
primary symbol is a mangled symbol, regardless of the Symbol SourceType.  This is
typically used when we can get better data type information from the PDB record than
we can from the demangler.
@param enable {@code true} to turn allowDemotePrimaryMangledSymbols on
Ghidra/Features/PDB/src/main/java/ghidra/app/util/pdb/pdbapplicator/PdbApplicatorOptions.java