[22:00:27] <TimStarling>	 easy review: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/858835 , just comments which came out of a discussion with Daniel