The tools server has not burnt down!