index.html: add license here as well