(Try to) fix index generation in publish-gh-pages