Docs: "$user->login($password)" is offline

At the moment is offline:

This page is currently offline due to an unexpected error. We are very sorry for the inconvenience and will fix it as soon as possible.

This was already filed and fixed.

I think, Github says, it was updated this morning (“11 hours ago”), but this error persists:

Yes, because changes made in the repo need to be deployed.