OK, I tried cleaning it with abrasive sponge, but that didn't do much, so used 240 grit sandpaper, which seemed to help. I went lightly, so as to not remove too much material.
There is a bit of staining left (like I said, didn't want to sand too hard), but no obvious pitting...
(edit to add...