[tei-council] Fwd: Jenkins build is unstable: TEIP5-dev #2602