private String convertDeprecatedTag(Element el, DeprecatedTree tag) {
		String body = convertTree(el, tag.getBody());
		return new StringBuilder("\n.. deprecated::\n\n")
				.append(body)
				.append('\n')
				.toString();
	}
Converts a deprecated Javadoc tag

@param tag the deprecated tag
@return the converted tag
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/JavadocConverter.java