docs: def add_info(self, header, message):
          '''Adds "header: message" line to error message'''
          current_message = self.args[0]
          message = current_message + self._format_info(header, message)
          self.args = (message,) + self.args[1:]