Get rid of weird markdown in index.html.