How bout some edge input. I am noob to edge maintenance, so don't take this as correct, but instead as a place to start. I probably am missing steps and other info.
Assuming my edges just have general wear and tear, ie; some rust, some burrs, some dull spots and some smashed impact spots.
step 1: debur with diamond stone on base edge and side edge. (can I slide stone in both directions on edge or only one direction?)
step 2: sharpen side edge with side edge tool only in one direction
step 3: optional: sharpen base edge with file or side edge tool only in one direction (is this always needed?)
step 4: optional: detune middle and tips of board.
*where does the gummy stone come into play??
__________________
|