We had some downtime today when the site's domain expired. You might not have noticed because the issue has already been resolved, so I'm posting this to assure you that this site's proud tradition of downtimes continues, even though we've had to cut back on their duration compared to the site's heyday.