It's done. ( all photos are here:
https://photos.app.goo.gl/7T6WG2ZrREnYnYpq7 )
I started with a Nicholson 8" single cut file but only got as far as removing the points. When I got to solid steel the file was getting tedious so I went out to the old school 4" x 36" belt sander in the garage with a 220 grit belt,
to get rid of all of the serrated edge and just barely begin to do the bevels.
After the belt sander I went to a 220 grit stone but after a few hours of that I ordered a Shapton pro 120 Grit and finished the rough bevels on that.
Much faster and easier on the 120 grit.
I wanted to push the bevels back quite a bit and get rid of as much of those ugly grind marks as possible so it was an as-lib fly buy the seat of pants thing.
Then I went to a Shapton Pro 320 Grit and then a Spyderco 600 Grit. All stones so far have been splash-n-Go water stones.
Got a burr on the 600 grit.
Next I went to an old black Arkansas stone (mineral oil) that I inherited from my father and pushed the burr over to the other site once,
and then finally to a rough leather strop with green compound for some gentle passes to get rid of the burr.
It's not perfect. I scratched it up a bit on the 120 grit stone and didn't get all of those scratches out but I'm really happy with it.
The bevels are a bit odd. The blade gets thinner near the point but that's where it seemed to want to go so I just went with it.
It's not shaving sharp but it'll do a straight down push cut through news paper with ease.
So this was a new blade that I ordered from eBay, not wanting to risk the original, and now that I know I can do this I might just have an other go at doing the same to the original to see if I can do a cleaner job.
All in all, I'm happy with it as it is.