Re: [Wikitech-l] MediaWiki CI failed due to lack of tidy.so [solved]