Det är ett glädjande tecken , skrifver Times ’,