[latexr]

I hadn’t looked at the settings page in ages. Some interesting stuff in there. You can even block certain websites now (goodbye, Pinterest). It’s time I give DuckDuckGo another go.

As I fiddle with the options, I was about to suggest there should be a private way to share settings to another device so I don’t have to redo everything on my phone, then I looked at the right side of the page and saw you already provide that!

Overall great work, major thumbs up. Looking forward to trying some searches with you again.

I do think I may have found a bug. Blocked sites aren’t being set across devices, neither by using the cloud save nor the bookmarklet.

[yegg]

Thanks, and thanks for the report. Will investigate.