improvements to the developer docs