docs: def generate(model_num):
      """Generates a new model name, given the model number."""
      if model_num == 0:
          new_name = 'bootstrap'
      else:
          new_name = random.choice(NAMES)
      full_name = "%06d-%s" % (model_num, new_name)
      return full_name