>boredom is actually a crucial tool for making our lives happier, more productive, and more creative. -Gretchen Rubin

It reminds me of a book I read last year: Bored and Brilliant[1].

[1] https://www.amazon.com/Bored-Brilliant-Spacing-Productive-Cr...