ParentFull threadgaius·I don't know if 'boredom' is the right word for it, but maybe.The word is probably ennui.View on HN