Kept reading down the recipe, looking for where the protein came in..............
Well, it wasn’t the entire meal, and these were not modern-day ‘vegans’, but old-school vegetarians who ate dairy. And you CAN get all of your essential aminos by combining non-meat items.
(Mushrooms are incredibly healthy, by the way...)