EverybodyEdits is a Wikipedia user.