Which is now useless because with the previous patch TextDocumentGenerator no longer caches the widget.