[tei-council] Jenkins build is unstable: Stylesheets-dev #2212