Drizzle the oil into the Instant Pot. Set to SAUTE. Once the oil is hot, add the onion and stir. Continue to cook the onion, stirring often, until the onions are very soft and beginning to nicely brown and break down, about 8 minutes.

While the onion cooks, peel the carrots and cut into small dice. Small dice the celery as well. Add the carrots, celery, thyme springs (you can tie them together if you like to make them easier to fish out later), salt, smoked paprika, and pepper. Sauté until the carrots and celery are barely soft, about 2 minutes.

Add the lentils and garlic to the pot and stir to coat them in the spices. Let cook 30 seconds, until the garlic is fragrant. Add the diced tomatoes, crushed tomatoes, and vegetable broth.

Cover and seal the Instant Pot, and then set to cook on HIGH pressure for 15 minutes. After 15 minutes of high pressure, allow the cooker to release pressure naturally. This will take about 10 to 15 additional minutes.

Open the lid and stir the soup. Remove the thyme stems, leaving the leaves in the soup. If the soup is too thick for your liking, thin with a bit of water or additional stock until you reach your desired consistency. (We tend to like our soups pretty thick and hearty around here.) Taste and adjust the seasonings as desired. Serve hot with a sprinkle of parsley, Parmesan (if using), and bread for dipping.