Thanks for your input.
Bear with me if I'm about to say something stupid, but...
Looking at how the fork is constructed, the part of the stanchion that is damaged, does not rub against anything.
It is only the top part that slides in the collar in the lower leg.
So, I don't think it makes any difference if that part of the stanchion is oxidized.
In fact, when it was together, the fork worked fine; I only took it apart for a quick regrease.
I might be totally wrong of course, but I have the fork here in bits and I can see the above.