Re: [tei-council] Building and testing with Docker