message: Clarify open and close notification
diff: @@ -935,7 +935,11 @@ export interface DidOpenTextDocumentParams {
  * The document open notification is sent from the client to the server to signal
  * newly opened text documents. The document's truth is now managed by the client
  * and the server must not try to read the document's truth using the document's
  - * uri.
  + * uri. Open in this sense means it is managed by the client. It doesn't necessarily
  + * mean that its content is presented in an editor. An open notification must not
  + * be sent more than once without a corresponding close notification send before.
  + * This means open and close notification must be balanced and the max open count
  + * is one.
  */
  export namespace DidOpenTextDocumentNotification {
  export const type = new NotificationType<DidOpenTextDocumentParams, TextDocumentRegistrationOptions>('textDocument/didOpen');
  @@ -990,9 +994,12 @@ export interface DidCloseTextDocumentParams {
  /**
  * The document close notification is sent from the client to the server when
  - * the document got closed in the client. The document's truth now exists
  - * where the document's uri points to (e.g. if the document's uri is a file uri
  - * the truth now exists on disk).
  + * the document got closed in the client. The document's truth now exists where
  + * the document's uri points to (e.g. if the document's uri is a file uri the
  + * truth now exists on disk). As with the open notification the close notification
  + * is about managing the document's content. Receiving a close notification
  + * doesn't mean that the document was open in an editor before. A close
  + * notification requires a previous open notifaction to be sent.
  */
  export namespace DidCloseTextDocumentNotification {
  export const type = new NotificationType<DidCloseTextDocumentParams, TextDocumentRegistrationOptions>('textDocument/didClose');
  