docs: def merge_report(self, otherself):
          """
          Merge another report into this one.
          """
          self.notices += otherself.notices
          self.warnings += otherself.warnings
          self.errors += otherself.errors