Allowing some headers not to show up in the ToC via new attribute 'data-hidden-from-toc'