Seems the linux mint guys weren&#39;t happy with their extensions, and forked gnome 3.  I&#39;m curious to try it, but my experiences with mint12 on my laptop were somewhat unimpressive.   Has anyone tried Cinnamon?  (silly name, interesting idea.)<br>
<br><a href="http://blog.linuxmint.com/?p=1910">http://blog.linuxmint.com/?p=1910</a><br><br><font size="3"><a href="http://www.youtube.com/watch?v=6NiQuzp6HJk">http://www.youtube.com/watch?v=6NiQuzp6HJk</a></font><br>