Apologies: it works. But it looks like that GNOME thinks that 8pm is not night here in western Europe, at this time of year! :-D
Apologies: it works. But it looks like that GNOME thinks that 8pm is not night here in western Europe, at this time of year! :-D