Interesting. What does that file mean?
I am not a source code reader, presumably it can be checked.
It is of note that the web pages in the reference directory, forming the Help files, contain links to the arduino website (including the images) and others. 0019 has a link to 'addthis'. Whether there is a plan to tidy this up, I don't know.