In the Emacs manual, node "(emacs) Saving Emacs Sessions" refers to a
no longer existing variable; the following patch corrects this: