Have any of you experienced gardeners used a Hori Hori knife? A local gardening forum likes them & they look quite useful