docs: def open(self, filehandle):
          """Re-open file if necessary."""
          with self.lock:
              if filehandle in self.files:
                  self.files[filehandle] += 1
              elif filehandle.closed:
                  filehandle.open()
                  self.files[filehandle] = 1
                  self.past.append(filehandle)