Found the script used to process the raw source to make the Xvid. As I mentioned above, it was pretty aggressive - if I was to do it again today it's likely I would tone it down a bit.

SetMemoryMax(256)
loadplugin("C:\Program Files\DGMPGDec\DGDecode.dll")
disc1=mpeg2source("disc1.d2v").DoubleWeave()
disc2=mpeg2source("disc2.d2v").DoubleWeave()
part1=disc1.Pulldown(2, 4).trim(514,-6079)
part2=disc1.pulldown(0, 2).trim(6594,-21360)
part3=disc1.pulldown(0, 3).trim(27955,-15389)
part4=disc1.pulldown(1, 3).trim(43345,-13218)
part5=disc1.pulldown(2, 4).trim(56562,-18855)
part6=disc1.pulldown(1, 4).trim(75415,-16932)
part7=disc2.pulldown(0, 3).trim(1957,-9285)
part8=disc2.pulldown(2, 4).trim(11242,-11836)
part9=disc2.pulldown(1, 3).trim(23078,-260)
part10=disc2.pulldown(0, 2).trim(23338, -1797)
part11=disc2.pulldown(1, 3).trim(25134, -10034)
part12=disc2.pulldown(0, 2).trim(35169, -207)
part13=disc2.pulldown(0, 3).trim(35376, -11587)
part14=disc2.pulldown(2, 4).trim(46963, -6420)
part15=disc2.pulldown(1, 3).trim(53383, -18827)
part16=disc2.pulldown(0, 2).trim(72210, -221)
part17=disc2.pulldown(2, 4).trim(72431, -2458)
part18=disc2.pulldown(1, 3).trim(74889, -1256)
part19=disc2.pulldown(0, 2).trim(76145, -4992)
part20=disc2.pulldown(0, 3).trim(81137, -2236)
part1+part2+part3+part4+part5+part6+part7+part8+part9+part10+part11+part12+part13+part14+part15+part16+part17+part18+part19+part20
chromashift(v=-6)
lq_filter()
Levels(16, 1.4, 235, 16, 235, coring=false)
tweak(sat=0.6)
crop(34,66,-4,-46)
lanczos4resize(672,288)