[20:38:07] <Krinkle>	 Reedy: if you feel like it:) https://gerrit.wikimedia.org/r/c/mediawiki/core/+/802867 circles back to purgeList.php and does what you realized years ago, but I couldn't see it for some reason.