Not for first time instant pot users!
This was delicious, but to say the cooking time was 1 1/2 hours was ludicrous. Chopping didn't take long, and I was clumsy and nervous about the settings on the instant pot. Searing the short ribs in batches (which was necessary) took about 15-20 minutes. Then sautéing the vegetables took 7-9 minutes and oh wait, no celery listed in the ingredients, but there is in the directions. Tomato paste sautéed 2-4 minutes, wine added and reduced (3-4 minutes), broth added. ribs returned to pot (whew!), lid locked (pressure cook for 35 minutes. Natural release (at 20 minutes I moved to a quick release because dinner was getting late). Remove ribs, strain juices and aromatics, crush aromatics back into broth (you get where I'm going?). Return broth and ribs to pot, add roasted mushrooms and sauce for 7 more minutes or so. I'm exhausted just re-hashing it. I will say again, the end product was delicious, but a mistake for my first venture into the instant pot which was supposed to save me time.