extra 1/2 teaspoon salt or to taste

Instant Pot Lentil Shepherd's Pie (Vegan, Gluten-Free)