Small tweakes to the index.html file

* comments

Signed-off-by: Jérôme Coupé <jercoupe@gmail.com>