-- Definition: For any given time period (monthly/quarterly), of the non-bot users that completed at least 1 edit via the iOS app, how many edits did they complete on average (arithmetic mean/median). Edits on other platform won’t affect this metric.
-- Here we only counts the number of edits per editor without doing any aggregation, since we want to see the distribution before determine whether we should use mean or median, or other aggregation metrics.