Some minor updates to the developer documentation [ci skip].