Stdlib documentation online?

The is a hyperlink in the online manual which purports to point to the stdlib modules documentation:

The different modules of the Coq standard library are documented online at

However, when I click on that I get a 404. Does that document exist? If not online, maybe in a PDF version?

Actually, they are at The web server seems to be a bit too strict.