Where to get espruino_esp32.bin file for ESP32-S3 dev board?

Hi,
I downloaded all the .bin file from espruino web site version espruino_2v23_esp32, I was using the following command to upload those files on my dev board. But I got error: "Unexpected chip id in image. Expected 9 but value was 0. Is this image for a different chip model?" My question is where should get the image file for ESP32-S3? Thank you.
C:\ESP32\espruino_2v23_esp32>C:\ESP32\esptool-master\esptool.py --chip auto --port COM5 --baud 115200 --after hard_reset write_flash -z --flash_mode dio --flash_freq 40m --flash_size detect 0x8000 partitions_espruino.bin 0x10000 espruino_esp32.bin
esptool.py v4.7.0
Serial port COM5
Connecting...
Detecting chip type... ESP32-S3
Chip is ESP32-S3 (QFN56) (revision v0.2)
Features: WiFi, BLE, Embedded PSRAM 8MB (AP_3v3)
Crystal is 40MHz
MAC: 24:58:7c:de:82:24
Uploading stub...
Running stub...
Stub running...
Configuring flash size...
Auto-detected Flash size: 16MB
Unexpected chip id in image. Expected 9 but value was 0. Is this image for a different chip model?

A fatal error occurred: espruino_esp32.bin is not an ESP32-S3 image. Use --force to flash anyway.

Hi, previous thread re S3 support:
https://forum.espruino.com/conversations/372053/ and the repo with the build of v2.16: https://github.com/rgomezwap/EspruinoS3

Thanks Ivor,
I got all the bin files from the github link https://github.com/rgomezwap/EspruinoS3, and uploaded the image to esp32-s3 board by using esptool.py. However, when I use the espruino web IDE to connect, I have got Unable to retrieve board information. Connection Error. Anything wrong with the IDE or the iamge? What other tools should I use to upload app files to the board?

esp32 boards need 115200bps

Hi MaBe
That the baud rate I used. 115200

I built all the bin files from the scrach and used esptool.py flashed the board, all those steps were working. But when I use espruino Wen IDE to conenct the ESP32-s3 board, I have got errors like this:
Unable to retrieve board information. Connection Error?
Connected to COM5 (No response from board)
Are there any other ESP32-S3 firmware that I can use? Where should I find them besides the git link Ivor gave me?
Thanks!