1/2 teaspoon korean red chili flakes (â plus more to taste (sub