Repeat and predict—two keys to efficient text editing | Synapse