- a line in the .gitignore file to ignore the built documentation
tree.
- a complete revision/editorial pass of all non-technical documents
that outline process, project fundamentals, and background. These
edits clarified the text, unified the style, and elaborated on
stubs.