My friend is deathly allergic to mushrooms. She has gone into anaphylaxis in restaurants because she’s been told, “Oh, that doesn’t have mushrooms in it,” and surprise, hidden in a sauce or a gravy, mushrooms. Or, a hundred times worse, “We can prepare that without mushrooms for you,” after she’s made it very clear…