anchor.diff:      let str = formatTip true tip
       let parts = str.Split([| '\n'; '\r' |], 2, StringSplitOptions.RemoveEmptyEntries)
       "<b>" + parts.[0] + "</b>" +
  -      (if parts.Length > 1 then "<small>\n\n" + parts.[1] + "</small>" else "")
  +      (if parts.Length > 1 then "\n\n" + parts.[1] else "")
       
   
   // --------------------------------------------------------------------------------------
  
positive.code:             Some ( (*GLib.Markup.EscapeText( *) parameterTip )
      | _ -> None
  
    /// For elements with XML docs, the paramater descriptions are buried in the XML. Fetch it.
    let private extractParamTipFromElement paramName element = 
        match element with 
        | DataTipElementNone -> None
  
negative.code:         let! _ = optional (string "``") 
          return res }
  
    /// Parse remainder of a long identifier before '.' (e.g. "Name.space.")
    /// (designed to look backwards - reverses the results after parsing)
    let rec parseBackLongIdentRest = parser {
      return! parser {
  