Edit: he appears to be working on something Apple related.
He never really understood Linux, did he? He was always trying to sabotage it, or bend it to his will. Worst was when he tried to get people to use dotnet on Linux.
Edit2: Apparently he does!
For example, he supported standardizing on Microsoft's file formats. The same formats that continue to cause problems for alternatives to excel and word to this day. And his support of dotnet at a time when Microsoft was funding the SCO lawsuits, and calling Linux cancer, rattling patent sabers etc are either tone deaf or disinterested in the freedoms given to use by FOSS.
Or maybe he's a saboteur. He definitely worked for Microsoft long enough. :D
And because of his previous experience developing Gnome, his actions were more influential. So it just sorta depends on how you see the actors in the game. To me, Miguel's support of Microsoft tech (dotnet, and his support of Microsoft file formats) makes him at best a liability to the free world I want to live in. At worst, yeah, a saboteur.