make toc in html output optional and default