I'm trying to help some colleagues use clj-kondo with intelli and i'm wondering, what's the recommended approach? I've run into trouble so far: • with clojure-extras, I'm seeing a lot of spurious warnings. for example, in test namespaces that refer deftest, is, etc I'm seeing warnings to define those. Even seeing a warning to define ns • with clojure-lsp, I get an error "cannot run program lein" when clojure-lsp attempts to run lein with-profile +test,+dev classpath