Minor update to the developer documentation [ci skip].