Hopscotch typeset

Selecting text to delete, replace or add is fiddly. But also more accurate.