Oh--

     Thought I had posted something this morning.  I'm still fighting this cold, though it seems to be fading.  It's no fun to have a cold on vacation, but it's much better than trying to work while I have one; I used to do that, before COVID and before I had a co-worker who would "bravely" come in with colds or the flu, and give them to all of us.  If I didn't like him doing that, I sure had no excuse for doing the same myself!

     Any more, sick days and vacation days at work come from the same pool; and I am not much given to vacation travel.  So it's no great loss.