By the way, to the developers of Cinnamon, I do think it would be a good idea to add a "Reset Defaults" button in the Cinnamon Settings pages. I have already found myself accidentally changing settings, or thinking I did, then not knowing what the defaults were, so not sure if I changed it or not.
I have to say, I have been using Ubuntu 10.04 since it came out, and wondering what I was going to do when 12.04 is released. I've tested Unity, tried to get used to it, and just couldn't. I was set on moving to Xubuntu, then decided to give Mint a shot when I read about Cinnamon. I have to say, I am very pleasantly surprised and excited again for Mint 13 to come out. On my main laptop, I'll stick with Ubuntu 10.04 until Mint 13 is released, but I have some spare machines that I will be testing Mint 12 on in the meantime. Thank you, Mint team!