[sandov]

When does he say that he uses Linux Mint?. From what I've seen, his desktop looks like Gnome 2 with a dark theme, or a heavily modified Gnome 3.