After Effects.

Anyway, when you go about de-saturating grays there's a lot of problems you can potentially run into, especially since the original film print did not look like that. It's one thing to remove the blue tint from the OT DVDs, since that's not how the looked originally (and in all likeliness was just a transfer problem anyway), but it's another thing to take a movie that originally had more cool looking grays and trying to suck the color out of them, because you're going to suck the color out of a lot of other things as well.

Since my goal in this edit was to provide image quality that was more faithful to the theatrical version, I'm not going to try and desaturate the grays, especially since I lack the technical skills to do it without making everything look washed out. Someone else might be able to do it and make it look right, but for me I just don't feel like it's worth the hassle.