When a knife just needs a little zip across a stone to remove a burr or ease out a chip, that’s where having the best pocket knife sharpener comes in handy.