A human-readable clock for the Gnome-Shell panel