Sometimes it takes a day for info to process with the public. Especially info that is not released in a PR.