Combine Thai green curry paste, chili, cilantro stalks, basil leaves, coconut milk, and water, Blend to a paste. Do not blend for too long as the heat from the blender often turns green pastes into a black and bitter mess. Transfer the green paste to a bowl and set it aside.
Set the SAUTE mode of the instant pot for 15 minutes. Add sesame oil to the inner pot. Once the oil is hot, add ginger, garlic, and onion. Saute for 1 minute. No need to brown the aromatics.
Add sliced mushroom. Saute for 2 - 3 minutes or till mushroom become light golden in color.
Next, add the green curry paste. Mix nicely.
Add vegetable stock, fish sauce, brown sugar, rice vinegar, salt, and stir to mix. Allow the soup to simmer for 5 minutes.
Add the rice noodles. Simmer the soup till noodles are cooked. This takes less than 5 minutes.
Once noodles are cooked, add coconut milk, bok choy, cilantro, basil, and red chili. Mix and simmer the soup for 1 - 2 minutes. Taste and adjust the seasoning accordingly.
At this stage, if the soup seems too thick add more vegetable stock to get the desired consistency, simmer, and turn off the heat.
Just before serving garnish soup with fresh herbs, crushed peanuts, and juice of lime.
Serve Thai Green Curry Soup warm.