gh-pages: update for v40.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>