You&#x27;re right. I was going off their &quot;all products&quot; list:<p><a href="https:&#x2F;&#x2F;www.jetbrains.com&#x2F;products.html?fromMenu" rel="nofollow">https:&#x2F;&#x2F;www.jetbrains.com&#x2F;products.html?fromMenu</a><p>I guess it&#x27;s not &quot;all&quot; products.