Oh yes of course. Many thanks.
EDIT: Well, so I don't recall how to get a new keys.txt with this method. I have prod.keys, title.keys, and device.keys. The old keys.py script doesn't seem to work for newer firmware nor is it supposed to. So how do I generate a new keys.txt? Is it just a...