docs

The docs directory contains the sources of the technical manual.