Fantastic, thanks for solving that! For anyone else experiencing a similar problem:
HTML Editor is trying to use the kama skin:
$CKEditor_config["skin"] = "kama";
recently there was an update to that skin that is no longer compatible with the 4.1 HTML Editor version. to correct the problem, change to the moono skin:
$CKEditor_config["skin"] = "moono";