public String getOptionName(String formalName) {
			return tagName + '_' + formalName;
		}
For a given extension's formal name, generate the option name used to store the extension.
The option name is the tag name concatenated with the formal name, separated by '_'
@param formalName is the formal name of the extension
@return the option name
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java