Verrrry interesting.
Thanks for posting this Bart. I have always used a number 10 mill file and a burnisher to "tweak" the edge. I have seen other sharpening processes using stones but all of them seemed a bit too arduous for a scraper. He has it down to just a few seconds it seems. Of course having a pond set up on your bench makes a big difference