That’s exactly it. Also happens with a lot of lights on the Death Star.
I can’t say if it is in their print or not, but I just had a look at one of mine, and I adjusted it (very sloppily, not worrying about colour and blowing out the whites to try and force any bleed to show) to be at a similar contrast level, and the print I have here doesn’t appear to have the smearing.
Just curious but how did you adjust it? 😃
Sorry, I may have been unclear, the top image in each case is the -1 release, the bottom image is a scan from a different 35mm print I have scanned, adjusted to roughly be about the same brightness as the -1 scan for comparison, to check if the smearing was in the original theatrical prints (e.g. caused by the lenses used in the original shoot) or not. I have not adjusted the images from the neg1 release.