Permission to use portions of the recent GNU Emacs Manual