Anyone speaking against Horvath would be publicly attacked, and GitHub employees aren't allowed to speak of the matter. Unfortunately anonymity is the only option.