1/2 large brown onion finely diced

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