Developer documentation

For simplicity of this user documentation, the developer documentation is separated.