Hi, I’ve been using the OEIS for some time now on Firefox for iOS, and all of a sudden, the numbers on there are turning automatically into tel: links when they weren’t before. This started happening last week. How can I stop this from happening? The relevant article (https://support.mozilla.org/en-US/kb/block-links-opening-external-apps#ios::) is no help because that option no longer seems to be available on iOS.