html_toc 1.0.0

Do a case-insensitive search on an HTML document for the token [[toc]]. If present, scan the document for header tags in a given range, verify that they have an id attribute and give them one if needed, then generate a group of links pointing to those headers with the header text used as the link text. This group of links then replaces the token.