Good point about the ~1mm difference. Interestingly on my MIDI keyboard the difference between white key widths is even larger (maybe ~3mm max), showing some variation in style.

By the way your two comments in this discussion had been voted down and hidden (marked [dead]) for some reason. I voted for them to return and I'm happy to see they've now been reinstated.