[maxcoder4]

I don't think I would call that bored. It's say this project let them grow enough that they realized that what they really want is something different than what they're working on.

But to me "bored" sounds like a bad thing, so maybe I'm just arguing semantics.

[davidmurdoch]

Boredom isn't bad; its often how we become creative and create novel things. Not really the same quality of boredom as what I'm talking about, but this video from Veritasium is still relevant, I think: https://www.youtube.com/watch?v=LKPwKFigF8U