We had been able to download PHP documentation, including useful users' notes, since the dawn of time... Prudence.

Edit: In case this comes useful to some: I think this is a backup, https://docs.phplang.net/docs.php

Yes! I remember downloading this for working in an offline setup 20+ years ago.

Still, maybe getting rid of the mirrors program 5 years ago had its downsides:

https://derickrethans.nl/php-mirrors.html

As the PHP documentation is in git it's easy to have a up to date copy locally.

I get you're trying to be a white knight of sort and protect the world from HN's american-centric view, but of the 215 world capitals it's currently Sunday in 195 of them and Monday morning in the rest, so...

Most people in Auckland are very probably still asleep. That they be the responsible maintainers - of a service which I understand is in Germany - is not impossible, just pretty far from the main bets.