some updates to the developer docs