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.

I read about typst a few weeks ago. I no longer make math- or formatting-heavy documents anymore, but if I had had this while I was in university, I would’ve loved to use it.

LaTeX is nice, but there’s some things that are an absolute pain to get right or make them look like you want to.