I installed it today, following that comment, and 20 minutes later... my pocket was burning :D. I spent the next half an hour trying to reboot it and remove the

I installed it today, following that comment, and 20 minutes later... my pocket was burning :D. I spent the next half an hour trying to reboot it and remove the launcher since it was really slow (and hot). Just before leaving work of course and when I wanted to listen to a podcast. Oh, well. Don't try out new things at 4 o'clock when you need them at 5 :D.