docs: def formatTime(self, record, datefmt=None):
          """
          Format time, including milliseconds.
          """
  
          formatted = super(PalletFormatter, self).formatTime(
              record, datefmt=datefmt)
          return formatted + '.%03dZ' % record.msecs