[20:10:53] <James_F>	 anomie: [Not a priority] If you're content with my release notes for https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/465673 please +1 and I'll merge.