I have attached a picture of the chili flakes I bought in an Asian supermarket. Can anyone tell me what it says on the packet? Are these typical chili flakes used for making kimchi? They seem very fine compared to the ones I've seen in ready-made kimchi.