jimrandomh comments on What’s wrong with Pomodoro