@@ -1873,7 +1873,8 @@ header text is:
1874 - Remove all formatting, links, etc.
1874 - Remove all formatting, links, etc.
1875 - Remove all footnotes.
1875 - Remove all footnotes.
1876+ - Remove all non-alphanumeric characters,
1876− - Remove all punctuation, except underscores, hyphens, and periods.
1877+ except underscores, hyphens, and periods.
1877 - Replace all spaces and newlines with hyphens.
1878 - Replace all spaces and newlines with hyphens.
1878 - Convert all alphabetic characters to lowercase.
1879 - Convert all alphabetic characters to lowercase.
1879 - Remove everything up to the first letter (identifiers may
1880 - Remove everything up to the first letter (identifiers may
@@ -1885,6 +1886,7 @@ Thus, for example,
1885 Header Identifier
1886 Header Identifier
1886 ------------------------------- ----------------------------
1887 ------------------------------- ----------------------------
1887 `Header identifiers in HTML` `header-identifiers-in-html`
1888 `Header identifiers in HTML` `header-identifiers-in-html`
1889+ `Maître d'hôtel` `maître-dhôtel`
1888 `*Dogs*?--in *my* house?` `dogs--in-my-house`
1890 `*Dogs*?--in *my* house?` `dogs--in-my-house`
1889 `[HTML], [S5], or [RTF]?` `html-s5-or-rtf`
1891 `[HTML], [S5], or [RTF]?` `html-s5-or-rtf`
1890 `3. Applications` `applications`
1892 `3. Applications` `applications`