Happy May Day to all my European friends and anyone else who observes it. Don't really observe it here in sunny Florida, probably because it's already summer here, but have a happy one to those who do.