How can I change the default browser on MIUI 10.x? I've read this question:

How can I change the default browser?

but the instructions there don't fit my Xiaomi phone, which has the MIUI 10 interface. How can I change the default browser there?
In your Settings application, navigate to System Applications Browser.
You get a prompt saying: 


  Set as default browser?
  
  MIUI Browser is really great blah blah blah
  blah blah blah blah blah blah.
  
  No Thanks | Set

Tap "No Thanks".
Make sure "Set as default browser" is in the off position (grayed dot, not blue dot).
Open some application with web links.
Click a web link.
You will now get the dialog for choosing the app with which to open the link.
Tap "Remember my choice" or some equivalent wording before choosing your new default browser.