Normalize HTML IDs used in Transclusion

The IDs, also used as anchors and rendered in the tooltip, expect the name of the document to be plain text. Users may choose to provide a name with HTML markup. Therefore, when calculating the HTML ID for a transcluded section title, the normalized rendered value must be used, not the rendered value of the name property.