After some twiddling, I seem to have convinced the stream server that life is worth living after all, and we're back on the air. We can't complain too much - this was the first time the server had been offline in just under 400 days.