A minor note on your last point: since the last major iOS release, Safari now supports extensions. I use one for adblocking, for redirecting every AMP link to a non-AMP version of the page, as well as the one that automatically redirects every reddit link from a webpage to Apollo (a third party reddit app).