[23:58:12] <TimStarling>	 the TEI patch https://gerrit.wikimedia.org/r/c/mediawiki/extensions/TEI/+/809743 is ready to be force merged now. The only remaining test failure is the one fixed by https://gerrit.wikimedia.org/r/c/mediawiki/extensions/TEI/+/793612