private static boolean isCompilerProperty(String nm) {
		try {
			getExtensionType(nm, false);
			return true;
		}
		catch (SleighException ex) {
			return false;
		}
	}
Check if the given option name corresponds to an extension
@param nm is the given option name
@return true if the name labels a spec extension
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java