Happy Cinco de Mayo!! “Cinco de what??”  That’s the reaction from friends here in the UK when I mentioned that I was working on a post for Cinco de Mayo.  It’s not exactly a UK holiday; nor much of a Mexican holiday for that matter.  Widely celebrated in the US, and parts of Mexico, it’s a national pride day for Mexican…