A few small GNU Emacs extensions