Well, since no one in my IRC channel is active at the moment, I thought I would ask here :D I am about to download mint 13 and I am wondering which download I need, there is something called cinnamon, kde, mate, and xfce. I just need something to use as an android build environment. I had Ubuntu...