[17:56:45] <wikibugs>	 10serviceops, 10Wikimedia-Site-requests, 10Patch-For-Review, 10Performance-Team (Radar): Enlarging the default thumb size on Dutch Wikipedia - https://phabricator.wikimedia.org/T215106 (10Krinkle) Checklist:  -------  * [ ] Update top 100 articles from last month on nl.wikipedia.org, and make them the same...