@jon@Vivaldi Recently I decided to look for a good alternative to Chrome that would let me keep using my extensions, of which I have many. My research indicated the two most promising choices were Vivaldi and Brave. Vivaldi sounded like the more interesting of the two. So I installed them both and imported my Chrome data into both. And as part of that import, Brave installed all my extensions. So the choice became, easy route or hard route. But I'll still test Vivaldi one of these days.