I don't know what you mean by 'released'. If we're talking about the same thing, it's a) a single mailing list thread and b) a wiki page, which google finds.

But as another check just revealed, DDG does not seem to index php.net very much, cf. https://next.duckduckgo.com/?q=string+inurl%3Aphp.net

It also does not find any php related content for my real name, whereas google does, a lot.

Edit: my bad, it seems to be site: and not inurl: