That last one is going to be so good. Months ago I ran into that while porting the “Crafting Interpreters” java-based interpreter into python. It took me a few hours to figure out that one of my modules was colliding with “token” in the stdlib, a module I didn’t even know existed. Glad it’s being made clearer.

Uh, makes sense, thanks for clearing that up.

So in my case it actually is Xiaomi being Xiaomi, screwing it’s power users, or any users in general.

Such a dumb restriction. I tried a new launcher a few weeks ago just to find out it would remove the gesture controls, which I’m already used to, had to go back to stock. I thought it was more of Xiaomi’s attempts to lock you in to their shitty ecosystem; quite sad it is like that even on other devices.