@@ -68,7 +68,6 @@ data Extension = Ext_footnotes
68 | Ext_startnum
68 | Ext_startnum
69 | Ext_definition_lists
69 | Ext_definition_lists
70 | Ext_example_lists
70 | Ext_example_lists
71− -- | Ext_header_identifiers
72 | Ext_all_symbols_escapable
71 | Ext_all_symbols_escapable
73 | Ext_intraword_underscores
72 | Ext_intraword_underscores
74 | Ext_blank_before_blockquote
73 | Ext_blank_before_blockquote
@@ -105,7 +104,6 @@ pandocExtensions = Set.fromList
105 , Ext_startnum
104 , Ext_startnum
106 , Ext_definition_lists
105 , Ext_definition_lists
107 , Ext_example_lists
106 , Ext_example_lists
108− -- , Ext_header_identifiers
109 , Ext_all_symbols_escapable
107 , Ext_all_symbols_escapable
110 , Ext_intraword_underscores
108 , Ext_intraword_underscores
111 , Ext_blank_before_blockquote
109 , Ext_blank_before_blockquote