@joel@tumfatig.net @robert I guess I never realized « ennui » could be a (transitive) verb. I always thought of it as a noun. Knowing this really does change how I think about it …