Stream for generating heading ids in HTML.

Useful for when we want a TOC that links to sections in the page.
Leaves existing ids alone, but generates slugified ids based on the
heading text otherwise.