Instant Pot Chicken in Red Wine Sauce

Name: Instant Pot Chicken in Red Wine Sauce
Ingredients: 1 tablespoon to 2 olive or vegetable oil; 3 or 4 slices bacon (about 3 ounces / 85 grams), cut crosswise into ½-inch (1.25 cm) lardons; 6 bone-in, skin-on chicken thighs, about 5 ounces (140 grams) each, trimmed of excess fat; 1 cup (250 ml) red wine, such as Beaujolais Villages; 2 garlic cloves, minced; 1 tablespoon tomato paste; 1/2 teaspoon dried thyme; 1 piece bay leaf; 1 pinch fine salt and freshly ground black pepper; 3 tablespoons (45 grams) unsalted butter; 1/2 pound (250 grams) button mushrooms, quartered if large; 1 tablespoon all-purpose flour; 1/4 cup to ½ cup (60 to 120 ml) low-sodium chicken stock (optional); Buttered broad noodles, for serving