Developer documentation

• About these docs: how the documentation is structured, written and reviewed.

• Repositories: what each repository is for, what it publishes and where it runs.

• Contributing to these docs: build the docs, add a page, print a page.

• Board identity: the fields that describe a board, and where they appear.

• Open items on these pages: every open question recorded on a page.