Kubrick personally signed off on the Criterion Laserdisc master though.
If it was in line with other masters at the time, he may have been fine with it not quite looking like film; the limited color space of NTSC didn’t give colorists a lot of flexibility. And we don’t know how much he cared about getting the color spot-on for home viewing. Maybe he wasn’t as picky about color as he was about framing.