LEAN-1276 -- Amend the importer to cater for the new sections
Reverted changes done in LEAN-207
Updated the handling of special footnotes to be treated as sections
Updated corresponding test cases
Reverted changes done in LEAN-207
Updated the handling of special footnotes to be treated as sections
Updated corresponding test cases