Very nice, @mockinbrd. The only problem was the 10 minutes in the pressure cooker made the vegetables mushy. I may try cooking them separately next time. The pork was very tender and tasty. I was using a regular pressure cooker, not the insta-pot. Perhaps that made the difference in the mushy vegetables.