Don't over think this issue of sharpening. If you had 15 woodworker in a class, there would probably be 15 different
ways of sharpening.
And many of them would have alternate methods they use at times.

jtk