Add a bit of Emacs user instructions