• Question: Inconsistencies of output for Coq, silent builds
• Question: HoTT build with Dune