Had a nosey and the only web streaming version I could find that was ostensibly HD is a Brazilian one that claims to be a "web-DL", 3.8 GB. It's very, very obviously an upscale, and not a very good one either... it's a smudgey DNR nightmare. Bums.
As far as I can tell, it was only available on streaming services as either NTSC or PAL SD, until Disney+, which I'm 99.9% sure will just be the new Blu-ray master with the censorship. So unless something fancy can be done with AI upscaling specific frames or something that doesn't look dodgy, I'm probably sticking with the PAL DVD with the sync fixes I mentioned before.
I think perhaps if it had just been the dancing scene, the buttcrack, and the changing room bit, I'd be content with upscaling a handful of frames very carefully and inserting them into the Blu-ray master, but the dissolves in the intro (which is the scene I think is most negatively affected by the censorship) make it a lot more irritating to hide imo. I don't really have that sort of skillset at this point, but if you guys can manage it, I'll be delighted!