I make extensive use of Firefox profiles. Depending on the sites I am going to I use different settings (via user.js) with each profile having its own user.js. I always start Firefox with the /p option but finding the profile I want to use is diff...