Revisiting the beans 2.4 procedure, which is pretty much perfect:
Rinse and drain the sans-lentil mix 2 passes in cool water. In 2.25 cups fresh water and 4 shakes lite salt, bring to a boil, remove from heat, let quick-soak (at least) 1 hour.

Gently mix in a splash of olive oil, a couple more shakes of lite salt, a cup each frozen broccoli cuts and chopped spinach, 2/3 cups lentils, and 2 cups water. Simmer ~30 minutes.

Portioning issues: Pubilx chopped spinach is slightly more dry volume per bag than broccoli cuts. 2/3 cup of lentils per non-lentil division leaves me a division (or more) short on lentils.

Which is OK, actually, because lentils are an exceptional protein value and I've been kind of itching to perfect a lentil-only bean dish. So if I have to pick up a bag of lentils and the non-lentil mix runs out, fine, I'll figure out some lentil-only creations to use up the excess.