Thanks ChickenMan, that’s great to know. I’ll need to see if I can run that in Wine or something, cos I don’t tend to have Windows machines about. Pretty sure there’s a bunch of other tools that can do the same thing (to HFE) though that do work natively on Linux.
FWIW: I managed to get FlashFloppy+ on the GoTek (found I had a USB to TTL Serial adapter about). Will go through the details in a later post.