Markdown_report.Parse_remarks
Parse skeleton files to add manually written comments to various parts of the report.
val get_remarks :
Frama_c_kernel.Filepath.Normalized.t ->
Frama_c_kernel.Markdown.element list Frama_c_kernel.Datatype.String.Map.t
get_remarks f
retrieves the elements associated to various sections of the report, referenced by their anchor.