Merry Christmas!

I will likely be offline for the next few days, enjoying the season and relaxing with family. I recommend you do the same!