Thanks, I'll look into it.
> On Mar 10, 2025, at 6:20 PM, Robert <http://dummy.us.eu.org/robert> wrote:
>> From: Brian <http://www.cs..edu/~b>
>> Date: Sun, 9 Mar 2025 15:42:15 -0700
>>
>> (Yeah I know, I should try one of the funky less-common browsers, such as
>> the DuckDuckGo one.)
>
> I'm sure someone already suggested this, but I can recommend the Brave
> browser. I switched to it after my Firefox derivative permanently died.
>
> https://brave.com/ios/
>
> It's Chrome-based, but doesn't send all your data to Google ('tho it
> probably leaks a little).
>
> I didn't like losing all my extensions and, especially, I don't like how
> the address bar is not customizable, but it's tolerable.