Wanted to recommend this incredibly delicious recipe. The taste to effort ratio is off the charts. Thought it would make a great Super Bowl meal.
https://www.seriouseats.com/recipes/2017/03/easy-pressure-cooker-pork-chile-verde-recipe.html
https://www.seriouseats.com/recipes/2017/03/easy-pressure-cooker-pork-chile-verde-recipe.html