types: cast in jsx.tsx to avoid @ts-ignore

Jacky Zhao

2023-11-11 22b7cf135e8b031550553947c48aa0dc00b3abbd

 docs/features/explorer.md

@@ -196,7 +196,7 @@
      }
    }
  },
}})
})
```

### Putting it all together