Basically, I cooked a dozen eggs for 7 minutes at low pressure. Release the steam immediately after the timer beeped, and let them cool a bit. (I moved them to a bowl of cold water.)
In just a few minutes they were cool enough to peel, which was the really big part of the show! After cracking them around the middle and removing a few pieces, almost all of the shells came off in two halves. It was pretty impressive and the eggs were perfectly cooked.
Slightly more detailed instructions here.