Just typing on iOS randomly inserts the wrong characters: https://youtu.be/hksVvXONrIo

I thought it was just me until someone mentioned this on HN