Ok, past that hurdle, I have managed to flash the OS (I think), but as the instructions end there, I don’t quite know what next.
Phone is still in fastboot mode. Unless the .bat file should initiate a reset, I guess I just have to reset the phone myself. But should I re-lock the bootloader first?
These instructions could be a lot clearer…