Yes, and my suspicion is that this is essentially what MS messed up. Someone probably wrote a script (as often happens) that removes the first comment block (w

Yes, and my suspicion is that this is essentially what MS messed up. Someone probably wrote a script (as often happens) that removes the first comment block (which they expected to be some internal-use +copyright comment) or something similar and added their headers , and it got applied to these files. I know this, because we've stopped people from making the same mistake :)