Using emacs to modify bitstarter/index.html, literally typing in the file shown in the images