Instead of boredom I should call it not-doing, perhaps.
By that I mean the moments between doing that used to be filled with… nothing.
They gave our minds a chance to process or to have new ideas or insights.
Those moments of not-doing seem to become exceedingly rare now. We tend to fill the time that used to become not-doing with other things.