Now, as we’ve finished with ceremonials, let’s move to the business. I’m pretty sure that won’t have a chance of looking into the actual code in the near future (near = next several days), but I’ll probably try to look into IDEA stuff at weekend, because it looks somehow suspicious for me. In the meantime, could you please point me to the place where you build IDE plugin? So far, I see only building a compiler plugin (admittedly, I skimmed through the repo very superficially)