Is the cutting recipe for green_tea_leaves using a shovel intentional or a mistake?

Yes, think of the shovel as a pestle for grinding the matcha (rather than slicing it with a knife).