html: generate toc-entry events for non-empty heading elements