Prebuilt micropython 1.20 firmware for esp32

[bobski]

Is there a download somewhere for a prebuilt firmware for micropython 1.20?