Loading a profile twice

[Andrea Mangiatordi]

> P.S.: it seems there is nothing that prevents the user to load a
> plugin twice, this is something we should fix too.

I had fixed this locally (by modifying the userscript in my browser) but
I forgot to put it up in the repos. I will push it right now! Thanks

Andrea