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.