Yeah. Nobody mandated Jetbrains products, almost every developer I know decided for themselves. Actually, it was the opposite: I remember asking a company I once worked for to buy me a license. Took 6 months for them to finally agree. Now my monthly allotment of tokens is way bigger than the price of that license, and it was given freely.