If those things are required for his role and he's not doing it, then he's not a 10x developer. There's some issues with your management.

Also, just because someone has good performance doesn't mean he's an insufferable idiot. In fact, those kinds of snarky replies about 10x devs here are way more toxic than anything claimed by them.