Minor updates to our developer documentation [ci skip].