Happened likely Friday 2016-02-12.

I've opened a ticket to eng-ops (cc'ed Davide).
I've also asked to hibernate-dev for a cause of the issue.

If we don't find a solution by Monday, we probably should at least rebuild the documentation of the latest version and push it up on the server.

CC Gunnar Morling Davide D'Alto