Not sure I watched the right video...but I dont think hook sharpening done by Carp anglers fishing self hooking rigs is going to be very relevant for the majority on fishing Magic who fish for bags of fish and strike bites. Its probably not very relevant for most anglers actually.
Many of the specialist Carp anglers these Videos are aimed at are fishing for a single bite. They want to try and convert every pick up into a self hooked fish so hooks are a one shot business. I doubt very much the likes of Adam Penning, Terrry hearn, Dave Lane and so on use the same hook for more than 1 fish or even session. They are waiting days or weeks between each bite and its a case of tiny % improvement in something could make the difference between a hooked fish or a blank.
As an aside, on still waters if you are worried about a ultra sharp hook being burred on the bottom, gravel or something else, popping it up, even a tiny amount can help to avoid this. Its also the reason why I go to a great deal of trouble not to move the lead when I tighten up on a self hooking rig. I inch they last few turns tight by hand/clutch as I dont want to drag the hook across the bottom and risk turning the point over.
The point here is that there is a great deal more to self hooking rigs than many people realize and why when you see people describe bolt rigs as just something you sling out and wait for the buzzer to sound, they are just demonstrating that they really dont know that much about the subject and probably are general anglers fishing for bites and striking fish.
Really this is a discussion probably better suited to the Carp forum...although there is hardly anyone who posts there unfortunately.