Developer guide

How the repositories are laid out, how to build and lint them, and how to contribute.