More proofreading of the Emacs manual