anchor.diff:            let fd = open_file_for_writing on in
             let w = append_to_file fd in
             // SI: keep TopLevelModule special? 
  -          let com = document_toplevel name top_decl in 
  +          let comm = document_toplevel name top_decl in 
             w (format "# module %s" [name.str]);
  -          w (format "%s" [code_wrap com]);
  -          // SI: this will print doc twice if there's no summary: kw. 
  +          w (format "%s\n" [comm]);
  +          // SI: this will print doc twice if there's no "summary:" kw. 
             (match top_decl.doc with | Some(doc, _) -> w doc | _ -> ());
             // non-TopLevelModule decls. 
             List.iter (document_decl w) other_decls;
  
positive.code: ///////////////////////////////////////////////////////////////////////////////
  // lib
  ///////////////////////////////////////////////////////////////////////////////
   
  // We store a forest-like representation of the module namespaces for index generation.
  // SI: not used yet.
  type mforest =
  
negative.code:   | NewEffectForFree(_, RedefineEffect(i, _, _)) -> "new_effect_for_free " ^ i.idText
    | SubEffect _ -> "sub_effect"
    | Pragma _ -> "pragma"
    | Fsdoc (comm,_) -> comm
  
  // A decl is documented if either:
  // - it's got a fsdoc attached to it (either at top-level or in it's subtree); or
  