Update docs/index.html
Update docs/index.html

Co-authored-by: Julien Richard-Foy <5c682c2d1ec4073e277f9ba9f4bdf07e5794dabe@richard-foy.fr>
sjrd/dotty,lampepfl/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty