You don't report someone like Carmack to HR, it will only backfire and make your ignorance even more visible.

Also, I am not surprised he was reported -- typical underhanded political hustling commonplace at Meta.