My sharpening experience is based on my kitchen knives.
When sharpening my knives I use trailing strokes, i.e. the spine is leading in the direction of the stroke and the edge trails behind.
Watching Lynn and some other razor videos people seem to be be sharpening razors using push strokes, i.e. the edge leads with the spine following.
Is using a push stroke merely a sharpening idiosyncracy or is there some deeper meaning behind it?