This, of course, means deleting the old image and partitions, reformatting the card, and finally, writing the new OS image onto the card. So, I went ahead and did it, creating the script files ...