Change Details

there's now an edit button on all diffs, and using it shows up in the Feed as if the owner of the diff did the edit.