gumbo comments on What’s wrong with Pomodoro