> and user_pref("taskbar.grouping.useprofile", true) so that I get separate icons in my taskbar for each profile

Thanks for bringing this up. It was bothering me.

Here are specific instructions on how to do this, for the curious: https://superuser.com/a/1050664

And in case anyone's curious about changing the icons of the different profiles in the taskbar, there's this: https://stackoverflow.com/a/24398229