boolean isIdaPro() {
		return "IDA-PRO".equalsIgnoreCase(this.normalizedExternalToolName);
	}
Returns true if the tool was IDA-PRO.
@return true if the tool was IDA-PRO
Ghidra/Features/Base/src/main/java/ghidra/app/util/xml/ProgramInfo.java