What is the name of the tool that cuts the end of the hook off. I have a long handled pair of side cutters but saw a tool in another post that looks like it just goes over the point and barb of the hook to snip them off. Sorry couldn't find the post.