Some information was scattered in the previous organization.
This file is now the central place to store *developer* information.
We may one day re-split this documentation into several files.