index.html: add asciinema