Gitbook seems to make SUMMARY.md as index.html, which conflicts with index.md