I'd say just give up on super resolution for the vertical resolution.
Here's a quick script I whipped up.
http://screenshotcomparison.com/comparison/126389
a=FFmpegSource2("Star Wars 10 min sample.mkv")
a.VerticalReduceBy2().Addborders(0, 1, 0, 1).MCTemporalDenoisePP(settings="very high", aa=true).eedi2(pp=2).crop(0, 0, 0, -4).merge(a, 0.1)
followed by virtual dub filters MSU smart sharpen(small overall and borders) and msharpen.. avisynth probably has better sharpening filters, but I'm far from an expert