Agreed - they really just need to roll the ‘Profile Switcher for Firefox’ extension into base functionality - and this would have the benefit of not requiring an additional install to work.