fix(download/index.md): fix typo
fix(download/index.md): fix typo

avigad/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io