In case somebody else is struggling to download IronFox for Android, I have extracted the universal apk, version 151.0.2.1, from my current install and uploaded it to buzzheavier. For me, neither Obtainium, F-Droid or direct download worked from their repos, meaning, the download jumps to 30%, fails then aborts.
PieFed
printf("%s", name);