Just want to wish everyone a happy Cinco de Mayo (as a side note, for today, F the French, and all the Maximilians and Carlotas of the world).

Here is a site on Cinco de Mayo. It is not Mexican Independence Day.