[22:20:49] <ori>	 https://gerrit.wikimedia.org/r/c/RelPath/+/1220027 should be worth ~1.3% of load.php wall time
[23:57:39] <ori>	 and https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1220029 another ~1.6% :)