build/docs/guide* build/docs/offline* README.progress-reporting doc/external-dependency-solver-protocol.txt doc/external-installation-planner-protocol.txt doc/acquire-additional-files.txt
