At 11:08 AM +0900 3/14/08, Martin Duerst wrote: >I propose to change 'edits' to 'changes' here in order to avoid >the impression that changes have to be purely editorial. Good catch, yes.