Generation of nightly docs failed through the weekend because the access certificate had expired. I added a comment to tell how to remedy this problem.