Why did you make this a self post instead of a comment?
And FYI I did post a comment at-first but hardly anyone noticed it (that includes you too).. probably because the original post already had over a 90 comments and people didn't bother to go through all of them.
And I could already find some online websites and tech news blogs starting to pick this news up from here and spread it on the internet. This kind of news spreads so virally! So I made a post out of it so that people notice it. And they did. Mission accomplished :)