Re: [tei-council] missing a word xmp (was "Re: Build failed in Jenkins: TEIP5-Test-dev #3527")