I wish everyone a happy holiday season and a joyous new year.

There haven’t been updates here lately due to my day job. I’m in the middle of some things, though, so updates are pending.