The editor itself does not have an upload option, but if you go to the bottom of the makecode page at https://makecode.microbit.org you'll find an Import button that will let you upload these .hex files from your computer or a URL
The Raspbian operating system, originally designed for the small Raspberry Pi computer, now has a version for laptops and PCs. Raspbian runs nicely on computers that are no longer deemed powerful enough to run the latest Windows or MacOS versions. Raspbian is great if you're setting up a kids' makerspace or school Code...
