@@ -689,7 +689,7 @@ derive the identifier from the header text,
691 Header text Identifier
691 Header text Identifier
692− --------------------------------- --- ----------------------------
692+ --------------------------------- --- --------------------------------
693 Header identifiers in HTML → `header-identifiers-in-html`
693 Header identifiers in HTML → `header-identifiers-in-html`
694 *Dogs*?--in *my* house? → `dogs--in-my-house`
694 *Dogs*?--in *my* house? → `dogs--in-my-house`
695 [HTML], [S5], or [RTF]? → `html-s5-or-rtf`
695 [HTML], [S5], or [RTF]? → `html-s5-or-rtf`