Minor updates to the developer documentation [ci skip].