Happy holidays!

Like many of my readers of these posts, I will be taking time off for the end-of-year holidays.

Posts to this blog will continue the first week of January, 2026.

I wish the best for you all!