I guess it just proves the update has been available in some circles but not publicly.
So the leak could have sprung from one of these non-nokia circles