@@ -68,7 +68,6 @@ data Extension = Ext_footnotes
6868 | Ext_startnum
6969 | Ext_definition_lists
7070 | Ext_example_lists
71− -- | Ext_header_identifiers
7271 | Ext_all_symbols_escapable
7372 | Ext_intraword_underscores
7473 | Ext_blank_before_blockquote
@@ -105,7 +104,6 @@ pandocExtensions = Set.fromList
105104 , Ext_startnum
106105 , Ext_definition_lists
107106 , Ext_example_lists
108− -- , Ext_header_identifiers
109107 , Ext_all_symbols_escapable
110108 , Ext_intraword_underscores
111109 , Ext_blank_before_blockquote