Documentation: slight update to the developer documentation [ci skip].