I figured I’d open this as it’s been a couple months now and I haven’t seen any mention of this or anything similar. Moving on.
I for one like Gnome Shell over Cinnamon, and I’ve looked over the code a bit but I’m not expert, so I thought I’d ask here if maybe anyone had heard anything about forking the Cinnamon Setting applet back over to Gnome Shell. I know this probably goes against the wishful thinking of Mint devs, but perhaps someone might be willing to take this on? It’s not the ‘most useful’ app in the world, but it could be easily expanded on, and it would be a great alternative to the gnome-tweak-tool, considering the lack of alternatives… Just a thought.
There are some other goodies Mint is now hoarding as well, yes they have the right, but it only reminds me of the lack of modularity Cinnamon has over Gnome Shell.