I’ll have to check when I get home from work. Your current plans sound fine Puggo, but I will admit I love these so much that an even better version would be awesome.
I found the official note about the mono mix when I was recently reading the 1983 making of ROTJ book. In the final schedule it lists a breakdown of every item by day and lists a day for the 70 mm, a day for the Dolby Stereo mix and a day for the mono mix. Given that ESB and Raiders had dedicated monos I’m pretty positive that ROTJ did-even if there are no differences it would still be important because they would have done a dedicated mix for the format most likely instead of just a fold down.
PSBs mono had many differences, most of which later showed up in the 97 SE remix.