Site (GitHub Pages)

This directory is for the github.io project website.

Guides and technical notes for contributors live in manual/ in the repository root.