New version of gnome-shell-pomodoro