a7d2dfc4fc
* Allow HTML in ToC Fixes #4793 * Extract ToC id from the header This is needed when the id is set explicitly in markdown.