----- Original Message -----
> Some facts:
>
> - Cinnamon started out as 'using GNOME components', but it is not a
> full fork of mutter, gnome-shell and nautilus, at least, and
> bug-fixes are not going either way...
Did you mean "... but it is now a full fork..." ?
Yes, thats what I meant. Thanks for catching that.