An Instant Pot and tiny lentils deliver big 'baked' bean flavour fast

Ingredients

• 1 1/2 cups dried large green or brown lentils (not the small French du Puy), rinsed
• 3 cups homemade or store-bought low-sodium vegetable stock, plus more as needed
• 3 garlic cloves, chopped
• 1 cup chopped yellow onion (1/2 large)
• 2 tablespoons ketchup
• 2 tablespoons granulated sugar
• 1 tablespoon molasses
• 1 tablespoon smoked or sweet paprika
• 1 1/2 teaspoons chili powder (may substitute ground ancho chile)
• 1 1/2 teaspoons kosher salt, plus more to taste
• 1/2 teaspoon ground cumin
• 1/4 teaspoon ground cinnamon
• 1/4 teaspoon freshly ground black pepper, plus more to taste