Thank you so much for posting this, its so nice on a human level to think about turning mine laying tech into tree planting tech.
At the end they mention a planting capacity of 3k square miles per year which is a lot but still small compared to deforestation rates of 46-58k square miles per year.