docs: function getExtensionFromFiletype(filetype, codeExtensions) {
      let extension;
      if (filetype === 'HTML') {
          extension = '.html';
      } else if (filetype === 'JSON') {
          extension = '.json';
      } else {
          extension = codeExtensions[0];
      }
  
      return extension;
  }