[17:13:35] <addshore>	 where in PageUpdater are edit rate limits actually applied? (I'm lost)
[18:29:17] <apergos>	 addshore:  it doesn't seem to, afaict 
[18:29:25] <apergos>	 is that the right place for them though?
[22:43:18] <AaronSchulz>	 TimStarling: I added you to https://gerrit.wikimedia.org/r/c/mediawiki/core/+/587494 btw
[22:45:32] <Reedy>	 I'm sure he got an email about it ;)