Reverting back to Arduino firmware

EDIT: Problem fixed. Looks like feverish Reset button pushing while flashing actually got it to work. It's behaving itself now.
Nothing to see here...!

Hi,

I've been trying to get an ST7735R LCD running on an Adafruit Feather HUZZAH32 (ESP32) board, which is a whole other conversation, but to verify the hardware I flashed Espruino v1.95 onto the board. It worked successfully with a few tweaks, but I don't think Espruino's going to be fast enough for what I'm trying to do, and I need to go back to compiled code.

Unfortunately, the Arduino IDE and esptool are both refusing point-blank to flash the board since I flashed it with Espruino. (It was working before)

Meanwhile, the Espruino console is happily responding through the Web IDE.

I've tried different power, slower baudrate, holding down reset, etc. No dice.

Is the Espruino-supplied bootloader not responding, or something like that?

Any ideas welcomed.

Arduino/hardware/espressif/esp32/tools/e­sptool \
    --chip esp32 \
    --port /dev/tty.SLAB_USBtoUART \
    --baud 921600 \
    --before default_reset \
    --after hard_reset \
    write_flash \
    -z \
    --flash_mode dio \
    --flash_freq 80m \
    --flash_size detect \
    0xe000 Arduino/hardware/espressif/esp32/tools/p­artitions/boot_app0.bin \
    0x1000 Arduino/hardware/espressif/esp32/tools/s­dk/bin/bootloader_dio_80m.bin \
    0x10000 ss7735r_test.ino.bin \
    0x8000 ss7735r_test.ino.partitions.bin

esptool.py v2.1
Connecting........_
Chip is ESP32D0WDQ6 (revision 1)
Uploading stub...
Running stub...
Stub running...
Changing baud rate to 921600
Changed.
Configuring flash size...
Warning: Could not auto-detect Flash size (FlashID=0xffffff, SizeID=0xff), defaulting to 4MB
Compressed 8192 bytes to 47...

A fatal error occurred: Timed out waiting for packet content

EDIT: Scrolling back through my terminal window, I found:

./esptool.py --port /dev/cu.SLAB_USBtoUART --baud 921600 flash_id       
esptool.py v2.1
Connecting........_
Detecting chip type... ESP32
Chip is ESP32D0WDQ6 (revision 1)
Uploading stub...
Running stub...
Stub running...
Changing baud rate to 921600
Changed.
Manufacturer: c8
Device: 4016
Detected flash size: 4MB
Hard resetting...

When done now, it returns Manufacturer ff and Device ffff. No idea if that helps.