Revert "index for GitHub"

This reverts commit c77453f1ee899a2bef72c783fc6ec25c1b468021.