Well, almost exactly three years later and here I am in the exact situation I enquired about above. I think I’ve got the solution thanks to g0pkh’s reply above, but just to be sure…
I would do:
Then with a new formatted drive (more likely a flash drive) plugged into USB port 1, I would do:
That should be me up and running again, right?
Anyone see anything wrong with that?