public final String getOptionName() {
			return optionName;
		}
@return the option name associated with the extension
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java