Happy Cinco de Mayo, everyone! By now, you’ve probably read at least a billion articles all saying “but what is Cinco de Mayo?” so I’ll keep the history..