Great extension Rated 4 out of 5 stars

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…

This review is for a previous version of the add-on (