Developer documentation

Contains documentation for developers and contributors.

Contents