Transcript This is just to let people know what's happening with the podcast over the next few weeks, as we head into a season which has holiday celebrations for many people, including me. The podcast has been keeping to a fortnightly schedule for the last few months, but at this time of year I have commitments to visit family and friends for Christmas and New Year, and I've learned that when I'm away from home I can't record and shouldn't even make the attempt. Also, a lot of people don't have time to listen to new podcasts over the Christmas period. So here's what's going to happen with the podcast between now and the beginning of the year. I'm recording a full podcast episode today, and that will be going up either Tuesday night or Wednesday morning, depending how long it takes to edit, so two weeks after the last episode, and then there will be a gap for Christmas and New Year. I will be doing Patreon bonuses during that time on a weekly basis as normal -- they take much less recording time than the main episodes, and I can prerecord them in advance -- but the next main episode of the podcast after this week's will go up on Monday the ninth of January, a little less than three weeks after the last one, rather than the normal two.  However, to fill in the gap I'm going to put up a few old Patreon bonus episodes over Christmas week. Every year around this time my Patreon bonus episodes tend to be about something seasonal, and so I'll put up a few of the old ones on the main feed for those of you who haven't heard them. These are older bonus episodes, some from four years ago, and so not in the same style as my more recent work, and mostly around ten minutes or so in length, but they'll hopefully be of interest to anyone who is looking for something seasonal to listen to. Happy holidays to those who celebrate a winter holiday at this time of year, and my sympathies to those who don't or for whom it's a difficult time for whatever reason. I'll see you in a couple of days for the next proper episode.