EASY Instant Pot Red Lentil Curry

• 1 large yellow onion, chopped
• 4 to 6 cloves garlic, minced
• 1 thumb size piece of fresh ginger, peeled and zested or minced
• 1 (14 ounce) can light coconut milk
• 1 (28 ounce) can diced tomatoes, fire-roasted or regular
• 1 ¼ cups dry red lentils, rinsed See Notes
• 2 cups soy curls or 1 cup TVP, optional (see Notes) About 2 ½ ounces by weight.
• 1 heaping tablespoon mild curry powder
• 1 teaspoon cumin
• 1 tablespoon tamari (for GF) or soy sauce
• 1 teaspoon fine sea salt
• black pepper
• 2 ¼ cups water

For serving:

• cooked rice or potatoes
• Cilantro and lime