I have been watching this discussion but wasn’t aware there were recent votes about it. There is a diff between HES and Harvard College, as there should be since they are diff schools at Harvard University. Interestingly enough, something like 1/3 iirc of the classes are exactly the same invluding professor between the two. Pretty sure HES people would be satisfied if they were allowed to just put Harvard University by itself on their diploma or resume.