Sync index.html with repl.html