Drive-by post, just to wish you all a Feliz Cinco de Cinco! (as the most eloquent and sophisticated POTUS evah would say).