I more or less agree, maybe “boredom” is not the best way to phrase it. I guess I might have expressed it that way due to personal biased, since I’m the kind of hyper-active person for which “free time” quickly turns into “I’m bored, I want to do something that’s either fun or productive”.