Tech note
Looks like the website where I keep graphic stuff (Freeservers.com) has screwed up again and let my domain expire. This has happened twice before around the same date. Once it was purely their fault, the other time there was an identity theft on my debit card resulting in a missed payment. Not sure what's happening this time. Could just be a momentary glitch, but the date makes a domain problem likely. We shall see. I've been rigorously keeping a 'mirror' of the content on my own computer, so the content won't be lost in any case.
Bit later: No, it must be a glitch. According to whois, the next expiration date is Oct 26, 2015. So today isn't an expiration point at all.Two bits later: It's back. Seems to run faster than before. So maybe they were just doing server maintenance or something.