So, accidentally updating my Xiaomi Mi 13 Pro firmware, I got saddled with Xiaomi’s latest “HyperOS 2″… Now sucking twice as much as HyperOS 1…

Logging my own fixes for “quality of life” (or otherwise, preventing the murder of some Xiaomi OS designer/engineer):

• Disabling Gemini:
  • https://www.reddit.com/r/googlehome/comments/1awl0wm/how_do_i_revert_gemini_to_assistant/

• Fixing “Home” button long press:
  • use “Hidden Settings“, search for “button” and select “Button navigation” (com.android.settings.Settings$PowerMenuSettingsActivity)

• Getting Touchpal to work:
  • change system font to “default”