# docs

Project notes, design documents, and reports.