I've heard these called water spades in videos where they excavated around tree roots, though I don't know whether it's just a slang term or the pressure washer nozzle on the pole. I used mine to edge my sidewalks once, but it was too messy for my preference.

Neil