include anchors even if no toc+discussion
also see add anchors for inclusions
Just ran into this again, would be nice.
easy on inclusions, hard on header tags in content. means you have to parse html, which slows things down. maybe we could do this after we move toc handling to js?
aka refactor table of contents. Sounds good, so, make this a ticket?