An operating system with all the usual tools, but without news and ads

[Ralf Mardorf]

On Tue, 7 Jun 2022 15:31:06 +0100, Chris Green wrote:
>On Tue, Jun 07, 2022 at 07:00:16AM -0700, David wrote:
>> 
>> You might try BRAVE -- it's a chromium-based browser, so Chrome
>> extensions work if you want to use any.
>>   
>I moved from Firefox to Vivaldi a few months ago and I've not wanted
>to move back.  Vivaldi is another Chrome based browser.

I installed Vivaldi back in 2015 and and always updated it, the last
time was 4 days ago. Vivaldi's title bar is also the menu bar. It
defaults to ridiculous small fonts instead of using my gtk2,3,4 and
Qt3,4,5 defaults.