Of course, R2-6 received this version of the film in PAL format and have been subjected to the usual PAL speedup issues.

Retiming 25fps to 23.976 during encoding is actually quite easy -- here's an example involving the encoding tool AutoMKV 0.98.4:

(Assume you've ripped the PAL DVD and have a single large 25fps MPEG2 or VOB file prepped and ready for final encoding.

* click the Advanced Profiles Editing tab, and look center-right

* for Change FPS, adjust the two associated boxes from "NONE" to, respectively, "Assume FPS" and "24000,1001".

-- That's it! (Set everything else up as you were going to anyway, and encode.)

If this needs to be an as-lossless-as-possible step in a sequence, select AVI/XVID with a Constant Quality profile and a Quantitizer of 1 -- this will result in a large, barely-compressed high-quality file.