So I don't have to continue looking this up in that little Instant Pot recipe book that I keep losing.
("10-minute Natural Pressure Release" means to set it to "Keep Warm" mode and let that run for 10 minutes after cooking, then vent.)