I changed ISP

I moved.  Did you notice?  I changed my ISP today and there were some rough patches, as there always are when I do this.  Nothing seems permanently broken although I haven't checked everything yet.  The last…