[Insert holiday name here] break

Postings here will be less frequent through the end of the calendar year, as I’ll be taking some time off. I’ll make note of any major developments during the next couple of weeks, but otherwise keep a lower profile until after the New Year.