Wild Mushroom Noodle Soup

Name: Wild Mushroom Noodle Soup
Ingredients: 1 1/2 ounces dried porcini mushrooms; 6 garlic cloves, gently smashed; 1 small bunch thyme; 2 bay leaves; 1/2 teaspoon whole black peppercorns; 1 1/2 cups medium egg noodles; Kosher salt; 12 ounces wild mushrooms, cut into 1/4 pieces if large; 2 medium carrots, peeled, cut into 1/8-thick slices; 2 stalks celery, cut into 1/8-thick slices; 3 scallions, thinly sliced, green and white parts separated; Freshly ground black pepper; 2 tablespoons celery leaves, coarsely chopped