public override Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken cancellationToken)
{
logger.LogTrace("received open notification {DocumentUri}", notification.TextDocument.Uri);
HandleUpdateAndPublishDiagnosticsAsync(documents.OpenDocumentAsync(notification.TextDocument));
return(Unit.Task);
}