Restorations are always good news. Personally, I still see value in enthusiast scans even when good 4K restorations exist because there will always be differences. The grade and the image area is almost always going to be different.

We’ve known about this restoration of Amadeus for a while. It was reported that Criterion would release a 4K I believe a year or two ago. No idea when it’ll actually make it to home media though. Going from theatrical to 4K blu-ray can take forever (for instance, I saw the 4K restoration of Soy Cuba premiere at Lincoln Center in 2018 and it is only now being released in the US).