IntelliJ IDEA

IDE 的终端换了引擎：用了 13 年的 JediTerm 让位给 Ghostty 的核心库，理由写在 AI agent 那行。我把新版安装包拆开，验了一遍。