Documentation

These pages live in the source repository and are published from it, so they cannot drift from the code.