Diff elisp-manual-19.2.4.2 with a elisp-manual-20.2.5

Thank you!