Emacs version of index.html