During this pandemic, I've read a few too many articles and heard a few too many radio pieces about the "ennui" people are feeling during quarantine. If people are bored, just say they're bored. A description of boredom doesn't need a pretentious upgrade.
