WIP: Expand the developer documentation #27

Draft
gremond wants to merge 303 commits from develop into developer_docs
Showing only changes of commit 15c78c2c0f - Show all commits