Additional Emacs settings

The following options are set up globally in /etc/emacs/site-start.d/80site-defaults.el: