This recipe scales up easily. The simplest way to get a couple of more servings out of this dish is to increase the meat to three pounds; proportionally increase the onion (to 1½ cups) and garlic (6 cloves) but I would leave pretty much everything the same. The amount of roast vegetables you add is also highly customizable based on your own preferences. I’ve found that 2 pounds of lean stew meat is perfect for my own family of four so that’s how I make it.
I add a full cup of beef broth but it doesn’t need it this much – I like the added liquid in the final dish. If you want a thicker experience, use just enough broth to deglaze the pan – about 1/3 of a cup should do it.
I like to cook it a full 45 minutes at high pressure and let the pressure release naturally – this results in really fork tender meat. If you prefer your stew meat more substantial, you could reduce the cook time to 35 minutes.
You can mix the roasted vegetables into the stew before serving, but they will get soggy. I prefer to keep them separate until serving individual portions. This way you can also control for individual family member preferences. For example, I have one kid who will add only the roasted potatoes; a second adds potatoes and a couple of carrots. This leaves extra carrots and shallots for my wife and myself. That’s a pretty good deal.