“Related to another question: does this come with instructions, for those who have never used this type of sharpener, or for those who have never used any sharpener before?”