Web Editor and binary file

Hello,

It's been years that I use Arduino and what's cool is that it's an infinite source of fun; since I'm still here.
I discovered the web editor a few months ago and I love it because we can access the code from wherever we want to but...
Since now there is OTA on the Arduino, I'd like just find a way to "convert" my file from .ino to .bin
I tried on the Online Web Editor but it doen't seem to have the option as in the IDE to export the binary file

Do you guys thinks this is possible to add this feature to the web editor? Downloading the binary file?

Even maybe add the possibility to upload sketch OTA by giving the address and the port (once we opened the port on our box)

Hey! Thanks for sharing your feedback. It is highly appreciated.

It is indeed a feature that we have in our backlog and we will try to prioritize according to users' demand.

Probably you already know this, but a heads up just in case. In order to perform OTA you can use Arduino Cloud and the Cloud CLI.

Which method are you using to do the OTA update?

Hello ! Sorry for the response time
I'm using a different method as the ones we can see on the web
I compile the code with the arduino software, and I send the the compiled code to my arduino via Telegram, which reprogram itself

Thankyou