[GHC] #15015: Parsing of exp_doc loses section markers