Minor update to our developer documentation [ci skip].