If life — the craving for which is the very essence of our being — were possessed of any positive intrinsic value, there would be no such thing as boredom at all: mere existence would satisfy us in itself, and we should want for nothing.
Of course boredom may lead you to anything. It is boredom sets one sticking golden pins into people, but all that would not matter. What is bad (this is my comment again) is that I dare say people will be thankful for the gold pins then.
It is to our lack of proper content ("notre manque de contenu propre:;», Fr.), of our inner emptiness that we need occupations and distractions, otherwise ("faute de quoi", Fr.) we experience boredom, which is nothing elses than the feeling of unease that take hold of us when our spirit is not absorbed by the mirages of life.
My attitude toward progress has passed from antagonism to boredom. I have long ceased to argue with people who prefer Thursday to Wednesday because it is Thursday.
It seems to me that all of the evil in life comes from idleness, boredom, and psychic emptiness, but all of that is inevitable when you become accustomed to living at others' expense.