Happy May, and even more importantly, happy Friday! I hope everyone survived Cinco de Mayo (i.e. the day that even Trump likes “the Hispanics”) and Star Wars Day. I’ve been trying…