A few years ago, I read a tragic article about a teenage girl who was out for a pre-Christmas meal with her family when she accidentally ate a peanut-based sauce and suffered a severe allergic reaction.