[nnethercote]

Try it! It's not hard. And if you do, please reset your profile first: https://support.mozilla.org/en-US/kb/reset-firefox-easily-fi.... Lots of old Firefox profiles have problems that can hurt performance, and resetting can make a big difference.