Thanks! It's cleaning up very nicely. (Much of what I feared was corrosion was actually old, caked lubricant.) I haven't torn it down completely to check all of the parts, but it all appears to be USGI WWII original, dating to mid-1944.
And better yet, we have already taken it out to shoot, and it functions perfectly and groups nicely. I can see why this is your favorite