Howdy all – I’m consolidating hosting of this site with some others, so it will be down for a few hours starting at noon on Wednesday, 15 Nov 2017.