Right now this requires setting the -port parameter, but other than that it totally works (if esptool.py is installed). It works by converting the ELF file to the custom ESP32 image format and flashing that using esptool.py.
