Reply to post:

I switched to Vivaldi when Firefox got too slow (especially when loading bbc.co.uk!). Vivaldi is much quicker, and ALL my extensions work. I see no need to go back to Firefox. Think I'll uninstall it now, while I'm thinking about it...