I feel like the developer should actually get some legal advice. In the U.K., “the crown” does not refer to the monarchy, but some legal entity that might as well be the state.

One source: https://harperjames.co.uk/article/bona-vacantia-buying-ip-from-the-crown/

I can confirm the extensions work well together.

This reminds me on why I turned off personalised ads on Google many years ago.

I work as a psychiatrist, and regularly have to search for literature surrounding the medications I prescribe (like antidepressants). After a few months of practice, Google started having ads that start with “if you’re depressed, have you tried… ?” Or the more click-baity “so-and-so have tried … and you won’t believe what happens next! ”

It was funny the first few times, thinking that Google must have profiled me as depressed.

Vinegar on safari for iOS / macOS is probably the extension I find the most useful day to day. It replaces the usual YouTube video player with a standard html5 player. So no ads, and support for PiP.