Minor editorial tweaks; make it possible to do diffs locally