Making headings unique so generated IDs in HTML is unique.