> 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

> 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 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 https://stackoverflow.com/a/24398229