There were several October posts which didn't make it in before the month ended. (Damn this day job! Why can't I find a patron?) There will be three more posts later today, and then we'll return to what passes for normal around here.