public static DataTypeDiff diffHeader(DataTypeDiffInput left, DataTypeDiffInput right) {

		DataTypeDiff result = diffLines(left, right);
		return result;
	}
HACK: for some reason when opening the HTML document with '&#47;', all text until the
next HTML tag is not displayed.  So, we put in a dummy tag and all is well.
Java 1.5.0_12
Ghidra/Features/Base/src/main/java/ghidra/app/util/html/diff/DataTypeDiffBuilder.java