Coverage has now a more forgiving timeout of 4s instead of 1s.