Has there been any mention of time management tools getting built in into GNOME? I thought I read something a short while ago that would land in one of the next versions, but I can't seem to find anything about it anymore. It had some sort of pomodoro timer as part of it and I thought it was a neat feature to look out for. Can't seem to find it anymore though. Perhaps it was a GNOME Circle post?