Markdown_report.Parse_remarksParse 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.tget_remarks f retrieves the elements associated to various sections of the report, referenced by their anchor.