|User since||Oct. 20, 2012|
|Number of add-ons developed||0 add-ons|
|Average rating of developer's add-ons||Not yet rated|
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…