Ingredients Butter – 2 tablespoons Small Onion – 1, diced Various Mushrooms – 8 ounces (about 225 grams), sliced (e.g., cremini, shiitake, or button mushrooms) Garlic Cloves – 2, chopped Thyme – 1 teaspoon, chopped (fresh thyme is preferred, but dried thyme can be used) Vegetable Broth …