doc(index.html): point to the new blessed repo
doc(index.html): point to the new blessed repo

avigad/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io,soonhokong/leanprover.github.io,soonhokong/leanprover.github.io,soonhokong/leanprover.github.io,fpvandoorn/leanprover.github.io,avigad/leanprover.github.io,fpvandoorn/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,fpvandoorn/leanprover.github.io