Merry Christmas 2017

I won’t be publishing anything here from the 25th through the 29th, so the next post here will be next year, in 2018.