docs: def writeInfo(self, stream):
          """ Write information about diffs into a file stream for use later. """
          for (fromUUID, size) in Diff.theKnownSizes[self.uuid].iteritems():
              self.writeInfoLine(stream, fromUUID, size)