* Make the toc plugin use html-compatible anchors. This is necessary since