We’re a day late in the print edition this year, but it’s still relevant to remember that Cinco de Mayo is a Mexican holiday, ...