Easy Pressure Cooker Pork Chile Verde Recipe

Super easy recipe. The only thing I changed, which I think made the recipe better, was the addition of a rue. I lightly after removing the meat, I toasted 1 tablespoon of AP flour with 1 tablespoon of butter, then blended the rue with the juices.

Tasted great, but could use a little more thickening. A masa/flour/cornstarch slurry or just more reduction would help.