Comment by marijn

Tried to reproduce this, also on Chrome Android, but undo removes the typed character as expected.