New hosting, new site Posted on November 13, 2017 by Neal Old host shut down without notice (to me, at least) so here we are.