Assegnate 4 su 5 stelle

This is a great extension, deserving a frequent need.

As an addition, it would be useful to allow profile switching from the developer bar (with a command such as "profileSwitch <profname> [(boolean)quit current profile]")

I'd love to try to add this functionality myself, but I was not able to find the sources…

Questa recensione riguarda una versione precedente (1.5.0.4.1-signed) del componente aggiuntivo.