I understand your argument, and will agree that some of your points are in fact problematic but I’ll disagree on one point:

best of OCaml

I find that taking an ML like OCaml and ripping out the M part is a pretty big change and rather not for the better. Also, personally, ripping out the O part of OCaml is also sad because objects are rather interesting and fit surprisingly well into the language, some syntactic weirdities notwithstanding.

The FUD around .net carries over to Mono and any other C# implementation, since it’s all patent-based. (Of course Gnome is built on FUD in the first place, since Qt has been freely licensed for decades now.)

It was started (in part) due to worries about the Qt license which, at the time, was controlled and sold under a proprietary license with a carve-out for free software. Not saying I agree that Gnome is “built on FUD”, just explaining what GP meant.

It was a real issue at the time. But the Gnome history page and mission statement imply it’s still a current one, which is misleading to say the least (and the misconception seems to have spread even to recent free-software converts, and no doubt affects their choice of which projects to contribute to). If Gnome had followed their mission as stated they would have folded into KDE once the licensing issue was resolved.