public static String getFormalName(String optionName) {
		return optionName.substring(optionName.indexOf('_') + 1);
	}
Get the formal name of an extension from its option name.
@param optionName is the option name
@return the formal name
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java