On helloSystem, get CircuitPython from https://circuitpython.org/board/lolin_s2_mini/ and flash with:
python3 -m esptool --after hard_reset write_flash 0x00000 '/tmp/user/_home_user_Downloads_tinyuf2-lolin_s2_mini-*.zip/combined.bin'
Replug the device, a S2MINIBOOT
disk drive will be mounted on the desktop.
Copy CircuitPython uf2 from https://circuitpython.org/board/lolin_s2_mini/ there.
cp '~/Downloads/adafruit-circuitpython-lolin_s2_mini-en_US-8.0.5.uf2' /media/S2MINIBOOT/CURRENT.UF2
This will reboot the device.
But strangely no CIRCUITPY
disk drive ever gets mounted.
To get the S2MINIBOOT
disk drive, click the "0" button after having booted the device.
TODO: Retest from Linux Live ISO using the web-based flasher.