Comment by jamies

It’s a bummer indeed, but more an issue of iOS not supporting 3rd party search engines without a wonky extension.