I have an M5StickT2 I want to develop for, but I don't have a backup of the good reference firmware.bin that ships on the device. Does anyone know where I can obtain the .bin so I can roll back when I brick it?

I have been to the git repo, but it doesn't have a precompiled firmware and there doesnt seem to be a board definition in Arduino IDE and the M5Stack package for me to compile it.

Thanks