Add a first round of developer documentation, evolving from the older `internal` part of the docs.