Heads up, a short bit of downtime coming

@wjerikson tells me that he’ll have to bring the site down a couple of times for maintenance soon. I’ve asked him to give us advance notice and I’ll pass that along, but just FYI the site may be offline for a brief spell soon.