Some work on the developer documentation