docs: def run_converter(arguments):
      """
      Converts notebooks to HTML files. Returns list of output file paths
      """
      # Get spec from config file
      if os.path.isfile(CONFIG_FILE):
          with open(CONFIG_FILE, encoding='utf-8') as f:
              config = json.load(f)
              arguments['--spec'] = arguments['--spec'] or config['spec']
  
      check_arguments(arguments)
  
      notebooks = flatmap(
          expand_folder,
          arguments['NOTEBOOKS'],
          recursive=arguments['--recursive']
      )
  
      exporter = init_exporter(
          extract_images=arguments['--images'],
          spec=arguments['--spec'],
          template_file=arguments['--template'],
          button_at_top=(not arguments['--no-top-button']),
          execute=arguments['--execute'],
      )
  
      log('Converting notebooks to HTML...')
  
      output_files = []
      for notebook in notebooks:
          output_file = convert(
              notebook,
              exporter=exporter,
              output_folder=arguments['--output'],
              images_folder=arguments['--images']
          )
          output_files.append(output_file)
          log('Converted {} to {}'.format(notebook, output_file))
  
      log('Done!')
  
      if arguments['--images']:
          log('Resulting images located in {}'.format(arguments['--images']))
  
      return output_files