Under-the-hood Documentation for developers

To be completed.