Http://www.swi-prolog.org/pldoc/doc_for?object=manual

This is my bookmark for the SWI Prolog docs and now I get a 502 bad gateway.

Is there a different URL for the docs now?

Servers are down - https://www.swi-prolog.org/ shows:

Varnish cache server: Error 503 No healthy backends