Update index.html

"s" for Open Proofs