Parsing/Replacing Tidy/Linter/Stats/2017-12-04

= Changes compared to baseline numbers on Nov 20, 2017 = NOTE: This version uses a new Nov 20, 2017 baseline instead of the Jul 24, 2017 and Oct 16, 2017 baselines used in previous weeks. This new baseline lets us track changes to the new high-priority category that we introduced in the interim. We also ran a script to lint all article namespace pages on all wikis which finished on Nov 20th and hence makes for a better baseline.