Thank you John! Your posting motivated me to take a closer look at where there were screws. I had not noticed that there is a very tiny setscrew that holds the front element onto the lens barrel. When I loosened it, I was able to unscrew the front element, clean off the grit in the threads and when I screwed it back in place, by giving it a good amount of torque, I was able to screw it another 10 degrees or so of rotation beyond where it had been, which recessed it another fraction of a mm into the lens barrel. Then I tightened up the setscrew again. That tiny amount seemed to be what I needed, as I can now get sharp focus on a streetlight a half mile away. I could see a possible mechanism of how the front element might have become a bit unscrewed over the years from the action of unscrewing tight filters. By the way, while I had the front element off, I looked inside and could not see anything near the front of the helicoids that provided a hard infinity stop, so I'm thinking that is probably at the back (flange) end of the lens assembly.