Pressure cooker gumbo

We tried this recipe: https://www.upstateramblings.com/pressure-cooker-gumbo/ Our modifications: first, due to our pantry, we omitted okra and fresh shrimp. Instead, we added one chopped poblano pepper and about 2 Tbsp dried pink shrimp (which we rinsed in water to remove some salt). Second, to make a dark roux, we followed this microwave roux recipe: https://www.food.com/recipe/microwave-roux-60992 (using 1/2 cup each oil and flour). Finally, at the end of cooking, we found the gumbo too runny, so we thickened with 3 Tbsp potato starch and 3 Tbsp water. (Mar. 2022)