Eureka - I found a solution:
http://support.mozilla.org/en-US/questions/899187?s=ADDON+CPU+100&r=1&e=sph&as=s
Create new profile, manually copy old profile folder to new one.
Wow, why didn't they make that a menu option ?
Still a mystery: Why would this work ?
http://support.mozilla.org/en-US/questions/899187?s=ADDON+CPU+100&r=1&e=sph&as=s
Create new profile, manually copy old profile folder to new one.
Wow, why didn't they make that a menu option ?
Still a mystery: Why would this work ?