anchor.diff:      type DidCloseTextDocumentParams =
           { /// The document that was closed.
             TextDocument: TextDocumentIdentifier }
  +        interface INotification
   
   /// The document save notification is sent from the client to the server when the document was saved in the client.
   module DidSaveTextDocumentNotification =
  
positive.code:           /// The position inside the text document.
            Position: Position
            Context: ReferenceContext }
      
      //Response:
      // result: Location[]
  
negative.code:           /// An optional range is a range inside a text document 
            /// that is used to visualize a hover, e.g. by changing the background color.
            Range: Range option }
          interface IResponse
  
      // error: code and message set in case an exception happens during the hover request.
  
  