Google lends its machine-learning tool to fight deforestation