Introduce 'auto_pull_tools' (default: false)