Who is a more trustworthy source? Unfortunately not a single word from the Russian official sources can be taken seriously.
Reply on news.ycombinator.com