In other words "RTFM, Peter". And that's fair enough... except that I must be looking in the wrong place. I can't see any instructions there. I managed to find someone else's instructions, written several months ago, and followed them. They didn't work with the DeDRM version that I have.
Oh, well.
Thank you.