Ingredients: 1 tablespoon butter 1/2 large white onion sliced 1 tablespoon fresh grated ginger root 4 garlic cloves pressed 3 tablespoons chili garlic sauce (or more for extra heat) 3 tablespoons oyster sauce 2 tablespoons fish sauce 1 teaspoon miso paste 3/4 cup soy sauce 1/4 cup rice vinegar 8 ounces shiitake mushrooms sliced 1 pound baby bok choy sliced into quarters lengthwise…