Oh gosh, I was not aware of their existence honestly. Currently I do not have all the software installed that I would need in order to re-export the files, nor do I have the time. Perhaps in the future.
Thankfully, since I didn’t use the Birth of the Rebellion scenes, it’s really just the Yoda/Obi-Wan/Windu scene and the Yoda dagobah sequence. I agree it would be nice to have higher quality versions of the scenes integrated, but I just can’t commit to that right now.