Thank you. I flashed a new SD card and put it in the old pi – adding the license numbers manually didn’t work but restoring from USB did.
I’ve successfully revoked the licenses (thank you for the screen shot - I’m not sure I would have seen that “nothing vs. revoke” easily on my own) and added them to the new Pi.
So far so good!