It's probably a leftover from the days of J!1.5 or something. I didn't check it :smile: 
However to my knowledge neither Hathor nor Isis has CSS rules regarding that class. So we may even be able to remove it without breaking anything. Anyone brave enough? :smile: