boolean hasJavadoc(Element el) {
		DocCommentTree tree = docConverter.getJavadocTree(el);
		if (tree == null) {
			return false;
		}
		return !tree.getFullBody().toString().isBlank();
	}
Checks if this element has any documentation

@param el the element
@return true if this element has documentation
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/PythonTypeStubDoclet.java