Many thanks to @Hassouni for bringing this thread forward. I (mostly) followed @My Confusing Horoscope 's okra recipe for gumbo (or okra stew) and it was derned delicious. I don't think I've ever made gumbo before. I used the Instant Pot with glass lid. Both fresh and frozen okra, 2 smallish onions, pasilla pepper (no GBP) cooked on Slow Cook High for 6-7 hours. Later in the game I added a can of tomato sauce, fresh garlic and a spoonful of puréed chipotle chile adobo. Much later, the shrimp were added. Outstanding!