Thanks Marc. Based on the first link, it sounds like 800 grit is clay’s preference for this steel. I tried that for today. It seemed to work well, but it was not quite the edge that the previous owner put on it by hand.
Despite what I’ve read about this steel performing better at a lower grit, tonight I brought it up to a polish. It seems to cut cardboard with less effort, less snags on paper, etc. I’m going to give it a shot for a few days and see what happens.