Beware: The instant pot instructions do not tell you what to do with the mushrooms and when. If you want to try this recipe, you'll need to remember to include them (without relying on the instructions to actually instruct you). Also, unless you go beyond the recipe instructions, the sauce will be thin. You'll want to thicken it more - don't rely on the instructions to tell you how.
