I would hazard a guess that someone with access to that info wouldn't provide a source were they to leak it, also that someone with access to a source wouldn't leak it in such a public way or on HN.
Regardless, this explanation is now head-canon, regardless of whatever facts or otherwise may present themselves.