Vegan Shepherd pie

We really like this shepherd pie a lot. I made it in a 9 by 13 inch pan. The recipe can be found here:
https://itdoesnttastelikechicken.com/seriously-the-best-lentil-shepherds-pie/   I changed the vegan potatoes just a bit and I love love them. My take on the vegan mashed potatoes is here: http://nannykimsrecipes.blogspot.com/2019/08/vegan-mashed-potatoes.html.  Actually NOW I use Mcdougall recipe.

Another alternative is the tater tot casserole! https://nannykimsrecipes.blogspot.com/2019/06/tater-tot-casserole.html?m=1

Ingredients

• 1 tablespoon oil (olive, canola, vegetable)
• 1 onion , chopped
• 2 carrots , peeled and chopped
• 16 oz mushrooms , sliced (I did 3/4 a pound and next time might increase peas)
• 4 cloves garlic , minced
• 2 teaspoons dried thyme leaves
• 1 1/2 cups brown or green lentils (or 38oz canned lentils, see notes)
• 3 cups vegetable broth (or 1 vegetable bouillon cube, see notes)
• 1 cup peas , fresh or frozen
• 2 tablespoons soy sauce
• 1/4 cup BBQ sauce (check to make sure it's vegan)
• 1 recipe Vegan Garlic Mashed Potatoes (this is from the original-I changed mine-see above.

NOTE: for bq sauce I use 1/4 cup ketchup mixed with a tablespoon balsamic vinegar and 1 tablespoon maple syrup.