I am at a loss. I planted Hairy Vetch in my raised garden beds last month after I cleaned up for winter. It's come in nicely. Now, when I mow it down in the spring; do I till it in or leave it on the surface as a mulch?