This would be, without a doubt, absolutely the most simple fan-edit to do. Cut-and-paste, save.
I wonder IF Disney ever decides to release the OOT, whether they’ll also decide keep the Fox fanfare or not.
I know it’s minor, but to me that’s just such an essential part of the whole Star Wars experience.