IMHO, setting up the toolchain and other programs to do the build is non-trivial,
Please get more acquainted with the idea of "Open Source". The basic idea is that it give people the right to use the source code of programs they're interested in, and as any right, it needs to be exercised (or they may be deprived of it).
Besides, it's non-trivial, but you did it, you surely don't think that other people are less capable? Oh, and in such cases I always remember an epigraph from my childhood book on LISP - "everything is hard, until becomes easy".
and the firmware.hex file should, as a rule, be posted to github, but it presently isn't.
Nice rule. I'm sure if you sponsor MicroPython maintainers, they'll happily do it for you.
Therefore, I recommend the moderator to post this file there.
Are you seriously making such a suggestion with all news screaming
around that "China by being nice and cheap-priced, sneaked spy chips into the servers of half of US companies"? Compare that with "I'm a nice guy, politely ask here for this random binary which I put here, which may contain malware, ransomware, beginnings of a new mirai botnet, to be impersonated as something official and delivered straight into unsuspecting users' hands".
Umm, thanks, but no. Moderators here are good people and assume that you have good (albeit simplistic and short-sighted) intentions, and don't delete your binaries of unknown origin, but that's it. And if you're truly care about users, please join the movement of teaching-to-fish, that's what we're doing here, instead of stuffing your fish in. Thank you!