@HoraceAndSpider
By all means, thank you very much for taking a look. The links are these (I think these are ok here, as they are fan remakes, but let me know otherwise):
ftp://ftp:any@grandis.nu/~Uploads/Aladin/WHDLOAD generic/RoadAvengerAGA-WHDL.lzx
ftp://ftp:any@grandis.nu/~Uploads/Aladin/WHDLOAD generic/TimeGalAGA-WHDL.lzx
I had to convert them from LZX to LHA (unless I shouldn't have?), and it might also certainly be an issue on my end as, as I mentioned, I have little familiarity with the Amiga ecosystem.
Apologies for the trouble, and thank you for your time and dropping by. By the way, thank you for your GitHub repository - it was tremendously helpful in getting this set up :)
EDIT: if it helps, I'm happy to share the created config files for WHDLoad for these in my setup. Maybe it's just something absurdly obvious. Thank you and let me know how I can help.