While the mushrooms drain, we make the marinade.
Finely chop an onion and place in a pan with oil to brown lightly.
Here, I prefer to mince the onion very finely so that even the fussy ones, who can't stand the onion, won't even notice it. Onion completely changes the taste of the salad for the better.