I'm curious about the unusual in-sentence double-spaces in the example paragraph. Is there a technical reason for them?<p>EDIT:<p>I see now that they are not double-spaces, but that I was being confused by the editing unit of a word and its following space. I'm impressed with how well the tool localizes where a change has been made, but I wish more common editing facilities --- especially navigation across word boundaries with the arrow keys --- could have been preserved.