You don’t have to use the built-in IDE. You can simply right click on the processor and upload a hex file. Recent Arduino IDEs have an option to export a hex file, and that works with no problem.

Am I pursuing an unreachable goal here? Is the hex file offered for download generated in a different way? (the README says that IDE 1.8 is used though) or from a different source tree? (different ...