The entire internet is running on a single person's undo-redo algorithm on text inputs