boolean isDeprecated(Element el) {
		return docEnv.getElementUtils().isDeprecated(el);
	}
Checks if the provided element is deprecated

@param el the element to check
@return true if the element is deprecated
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/PythonTypeStubDoclet.java