Suggestion for adding feature

Good day to all !

I have a suggestion to put on the table for the people of ARDUINO.

The arduino IDE has this awesome “export compiled binary” feature. Could you please consider adding a feature where from within the arduino IDE we will be able to upload the pre compiled code we have saved useing the export compiled binary feature ? something like “upload pre-compiled binary” for example ?

Thank you !