This isn't reddit and this is the first time I came across the news, the article was an hour old when it was posted. If it's old news, you can ignore it or downvote it. That's what the buttons are there for, after all!