This section contains information useful for developers and collaborators.