Happy Holidays!

Happy holidays, to everyone. Not Christmas, though. St. Patrick's Day, Fourth of July, and Memorial Day. I don't feel like wishing any of you happy holidays when those three occur, so I'll get it over with now.