It is a pitchfork animation adapted to be a shovel. Would be nice to see it on the official client. All this years without a shovel animation... Hope u enjoy it.
Btw, Im doing some little fixes to the shovel, so I will update this post when done. ty all
