the index.html TOC button propose to hide but TOC is already hidden, leading to a 404