Documentation: slight updates to our developer documentation [ci skip].