¼ cup unsalted butter
1 medium-size yellow onion, finely chopped (about 1 cup)
3 medium carrots, sliced into ½-inch rounds (about ¾ cup)
2 medium celery stalks, chopped (about ½ cup)
1 ½ teaspoons kosher salt, divided
¼ cup all-purpose flour
4 medium garlic cloves, finely chopped (4 tsp.) I used a bit less
¼ teaspoon smoked paprika
6 cups chicken stock
8 ounces old-fashioned wide egg noodles
12 ounces cooked chicken, torn into bite-size pieces (4 cups) I used a rotisserie chicken
½ cup heavy whipping cream
1 tablespoon sherry vinegar
2 teaspoons fresh thyme leaves