It's raining steadily, first time since I dealt with my latest attempt at improving the french drains, around my workshop and garage, so I've been out a few times, to check for signs of ingress - so far, not a drop. My next trick, will be to mix some concrete, to fill in where I had to disturb it, in putting the drains in. Maybe follow that up with some patch pointing of the house, in various parts, where it has come out - a poor job, when it was last pointed, not by me. Well, I already have a stone disc, already in my grinder.
I managed to reuse, lots of the gravel I had originally laid there for drainage, decades ago - I simply loaded gravel, mixed with soil in the barrow, laid a tarp on a more steeply sloping bit of garden, tipped it on the tarp, and let the rain, plus a hose wash the soil out. It avoided the need for a builders bag of gravel delivered.
