Hi everyone, I tried using Typst on my phone, in the web app and I noticed, when I tap on different parts of text that I’ve already written, text is replaced in those places, with other bits. And it’s not that it’s autocorrecting or doing this is in a vaguely controllable manner, but it will replace a part of a word with a completely different word or a part of a different word, creating a garbled mess of letters and it will also disrupts the formatting that typst needs to compile at all. And worst of all, if I tap on “undo” it won’t undo this. Literally the only way to effectively undo this, seems to be to switch to my laptop and undo everything manually from memory. On my phone keyboard, I have all kinds of gestures turned off, but in case it is some kind of interaction with my keyboard, I use FlorisBoard. And overall, I use the Vanadium browser in GrapheneOS on a Pixel 6a.