Merry Christmas!
Added 2022-12-25 15:18:48 +0000 UTCI couldn't get anything done in time for the occasion, but I hope you all have a jolly time with you and yours, regardless!
I'll get back to regular posting schedule in the coming week, now that that worst of this sickness is over.
