code: function PDFPageProxy__destroy() {
        if (!this.pendingDestroy ||
            Object.keys(this.intentStates).some(function(intent) {
              var intentState = this.intentStates[intent];
              return (intentState.renderTasks.length !== 0 ||
                      intentState.receivingOperatorList);
            }, this)) {
          return;
        }
  
        Object.keys(this.intentStates).forEach(function(intent) {
          delete this.intentStates[intent];
        }, this);
        this.objs.clear();
        this.annotationsPromise = null;
        this.pendingDestroy = false;
      }
docs: For internal use only. Attempts to clean up if rendering is in a state
  where that's possible.
  @ignore