Thanks to Dominique’s advice, have figured out how to get nicely spiced ground beef. Had absolutely wonderful bite-sized tacos for lunch. Let Eric and Andrei taste it; they were much impressed.
Finished three tomatoes, a fourth of a head of lettuce, and 1/8th kilo of ground beef. (Actually, 1/10th looks like it’ll suffice.) Hadn’t touched onions at all.
Having hacked the taco / taco salad, must now find other things to do with ingredients in ref. Perhaps can begin with egg?