Watching one of them now. Yup, they either zoomed in the image, or stretched it vertically. I missed the intro tho, it autotuned right after the opening scroll.
It’s zoomed in, just like the vast majority of hdtv broadcasts of movies that are native 2.35:1.
Sometimes you’ll see a letterboxed presentation, like how Spike is showing Dark Knight Rises, but this tends to be the exception rather than the rule.
I noticed last night that ANH was letterboxed until the end of the opening shot. I’m guessing this was to preserve the composition as the Star Destroyer flies overhead.