Repeat and predict: two keys to efficient text editing