What knife sharpening method is the preferred choice of professionals because it can be done easily and
quickly at any time, though it is used mostly as a maintenance tool rather than a full-on knife sharpener?