OK, I managed this somehow. So here's the correct procedure
how to flash your Forth while working within Linux environment,
using esptool.py:
1. If the devboard got messed up — like I spoiled mine, trying to
follow the procedure you've described on your pages — firstly
there's a need to reinstall the bootloader. The bootloader I used is
the one to be found in the file available at
https://download.espressif.com/esp_at/firmware/ESP32/ESP32_WROOM/ESP32-WROOM-32_AT_Bin_V2.4.0.0.zip
(the file bootloader.bin in the bootloader sub-dir)
a) Erase the flash memory:
esptool.py --port /dev/ttyUSB0 --chip esp32 erase_flash
b) Flash the bootloader into memory:
esptool.py --port /dev/ttyUSB0 --chip esp32 write_flash 0x1000 bootloader.bin
Of course if the board in use shows up at different port than USB0,
that need to be changed in the spells listed above.
2. Flash the Forth files:
esptool.py --port /dev/ttyUSB0 --chip esp32 write_flash \
0x8000 ESP32forthV70610_extended.ino.partitions.bin \
0x10000 ESP32forthV70610_extended.ino.bin
Yes, now it seems to be working at last. Testing two different devboards.
Does there exist any doc to ESP32Forth? Any „reference guide”
or anything like that? I hope not just these few clues listed on your WWW
pages — and the whole rest one needs to guess?