Hi Roelof, that's awesome

The best place to ask technical questions is probably the IRC channel where the Linux Mint and Cinnamon developers hang out; #linuxmint-dev on irc.spotchat.org. If you have patches to contribute, or find issues, you can submit these on GitHub:
https://github.com/linuxmint. For other kinds of questions, probably best to contact Clem (you can find him on the IRC, or contact the development team by email:
http://www.linuxmint.com/contactus.php). I'd be happy to try and get any questions you have, answered here also.