I still prefer Leonardo's upscale because resolution doesn't matter if you kill the detail and leo did an amazing job giving it detail looking like a real HD and some of his upscales even in 720p still looks better than many in 4k or 8k.
I know, I know your version has more details, unfortunately I don't have such a good video restore program, I did what I could, if I get a chance I'll do some small fixes.