Add developer docs section to manual