docs: Fix TOC of generated HTML docs.