Green Beans and Mushroom Gravy

Ingredients

• - Handful dried shiitake mushrooms
• 3 tbsp. olive oil
• ¾ large red onion, half of it diced and half of it sliced
• 4 cloves garlic, minced
• ¼ cup sherry vinegar (unseasoned, very low sodium)
• 1½ cups white button mushrooms, sliced
• 1 tbsp. all-purpose flour
• 1 lb (16 oz) green beans, washed, ends cut off, and cut in half
• ¼ tsp. freshly ground black pepper
• ¼ cup light whipping cream
• 1 teaspoon fresh thyme (or tarragon or parsley), finely chopped
• ¼ tsp. smoked paprika