Well. I heard, on the grapevine, that MLK Jr day is no longer a holiday, but that Trump's birthday is <smirk>.
No, I had misunderstood what I heard. MLK day is still a holiday (AFAIK), but entrance to national parks is no longer free on that day.
I'm not sure how much of this paragraph makes sense: 'I don't have a big problem with this—but I do have a small problem; after all, I was told that there were great difficulties to set this holiday up—and I think we ought to celebrate MLK on this new day.'
Getting too excited about anything to do with trump will only get him excited too, which, at his age, is dangerous, his admirable MRI's notwithstanding.
Kay H B.
P.S. just ignore this whole post.