docs: function() {
        var threadsToKeep = {};
        for (var tid in this.threads) {
          var thread = this.threads[tid];
          if (!thread.isEmpty)
            threadsToKeep[tid] = thread;
        }
        this.threads = threadsToKeep;
      }