Hmm, IDK, I once worked at the university named for them (I assume).
Anyway, in the beginning of this thread people were posting all sorts of historical names, now it seems they're just posting human names. I've been trying to get it back to its origins.