In a page's statistics under "top editors", are reverting edits subtracted from the number of edits (for the editor whose added text was reverted)?