[doc-tweaks] More tweaks. Abandon the "echo" approach to building a file.