Unfortunately trying to get the Arduino team to change anything is worse than pulling teeth. But clearly this needs to get updated.
That is the understatement of the year.
It appears that github is now being used for issues but I wen't ahead and put it on the google code page as well.
This doesn't help the fact that most beginners rely on the 'official' Arduino pages as gospel truth and mere mortals cannot correct those pages even when they are blatantly incorrect, incomplete, or obsolete.
Don