Detta är ett glädjande tidens tecken: