/docs/

• ../
• design.org
• design.pdf
• design.tex
• diagrams
• manual.org
• manual.pdf
• manual.tex