drop-installation-instructions.patch
remove-external-HTML-resources.patch
correct-version-elisp-header.patch
