TIL, “ennui”: not just “nothing to do” but “nothing seems worth doing”