> It would be very interesting to know how many of those users has JetBrains actually managed to monetize on.
> developer tools, a very niche market
Overall yes, but on GNU/Linux, most users are still some kind of a developer.
I don't have numbers, but JetBrains did say that most users of their products use the paid version and that their Linux business is a healthy one. I am on Linux and subscribe to all their products and have colleagues and friends that do too, so we do exist.
I also paid for Githost.io when I was using GitLab.