/docs/

• ../
• design.pdf
• design.typ
• ideas.typ